| dbo:abstract
|
- In computing, an effect system is a formal system that describes the computational effects of computer programs, such as side effects. An effect system can be used to provide a compile-time check of the possible effects of the program. The effect system extends the notion of type to have an "effect" component, which comprises an effect kind and a region. The effect kind describes what is being done, and the region describes with what (parameters) it is being done. An effect system is typically an extension of a type system. The term "type and effect system" is sometimes used in this case. Often, a type of a value is denoted together with its effect as type ! effect, where both the type component and the effect component mention certain regions (for example, a type of a mutable memory cell is parameterized by the label of the memory region in which the cell resides). The term "algebraic effect" follows from the type system. Effect systems may be used to prove the external purity of certain internally impure definitions: for example, if a function internally allocates and modifies a region of memory, but the function's type does not mention the region, then the corresponding effect may be erased from the function's effect. (en)
- En informática, un sistema de efectos es un sistema formal que describe los efectos computacionales del software, como los efectos secundarios. Un sistema de efectos se puede utilizar para proporcionar una comprobación en tiempo de compilación de los posibles efectos del programa. El sistema de efectos se extiende la noción de tipo a la de "efecto" del componente, que comprende un tipo de efecto y una región. El tipo de efecto describe que se está haciendo, y la región describe con que se está haciendo. Un sistema de efectos es típicamente una extensión de un tipo de sistema. A menudo, un tipo de valor se denota junto con su efecto como: tipo ! efecto. Un sistema de efectos puede ser usado para demostrar la pureza externa de ciertas definiciones internamente impuras: por ejemplo, si una función internamente asigna y modifica una región de memoria, pero el tipo de la función no menciona la región, entonces ese efecto puede ser borrado del efecto de dicha función. Algunos ejemplos de las conductas que pueden ser descritos por sistemas de efectos incluyen:
* La lectura, la escritura o la asignación de memoria.
* Trabajar con recursos, como archivos.
* Transferencias de control con continuaciones y saltos largos.
* Excepciones verificadas de Java. (es)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8362 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdfs:comment
|
- In computing, an effect system is a formal system that describes the computational effects of computer programs, such as side effects. An effect system can be used to provide a compile-time check of the possible effects of the program. The effect system extends the notion of type to have an "effect" component, which comprises an effect kind and a region. The effect kind describes what is being done, and the region describes with what (parameters) it is being done. (en)
- En informática, un sistema de efectos es un sistema formal que describe los efectos computacionales del software, como los efectos secundarios. Un sistema de efectos se puede utilizar para proporcionar una comprobación en tiempo de compilación de los posibles efectos del programa. El sistema de efectos se extiende la noción de tipo a la de "efecto" del componente, que comprende un tipo de efecto y una región. El tipo de efecto describe que se está haciendo, y la región describe con que se está haciendo. Algunos ejemplos de las conductas que pueden ser descritos por sistemas de efectos incluyen: (es)
|
| rdfs:label
|
- Sistema de efectos (es)
- Effect system (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
