Flow-sensitive typing (original) (raw)
In programming language theory, flow-sensitive typing (also called flow typing or occurrence typing) is a type system where the type of an expression depends on its position in the control flow. In statically typed languages, a type of an expression is determined by the types of the sub-expressions that compose it. However, in flow-sensitive typing, an expression's type may be updated to a more specific type if it follows an operation that validates its type. Validating operations can include type predicates, imperative updates, and control flow.
Property | Value |
---|---|
dbo:abstract | In programming language theory, flow-sensitive typing (also called flow typing or occurrence typing) is a type system where the type of an expression depends on its position in the control flow. In statically typed languages, a type of an expression is determined by the types of the sub-expressions that compose it. However, in flow-sensitive typing, an expression's type may be updated to a more specific type if it follows an operation that validates its type. Validating operations can include type predicates, imperative updates, and control flow. (en) En teoría de lenguaje de programación, tipado sensitivo al flujo es un sistema de tipos donde el tipo de una variable es determinado por el flujo de control. Clásicamente, en los lenguajes con tipado estático, una variable queda ligada a un tipo durante todo su tiempo de uso. En los sistemas de tipado sensible al flujo, el tipo de una variable puede cambiar dentro del cuerpo de un método, mientras atraviesa (o fluye a través de) las estructuras de control. El tipo se determina usando inferencia de tipos y la información de tipos fluye usando Tipo de dato algebraico. (es) |
dbo:wikiPageID | 49728689 (xsd:integer) |
dbo:wikiPageLength | 10054 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID | 1124118933 (xsd:integer) |
dbo:wikiPageWikiLink | dbr:Scheme_(programming_language) dbr:Null_pointer dbr:Control_flow dbr:Static_typing dbc:Type_systems dbr:Programming_language_theory dbr:C_Sharp_(programming_language) dbr:TypeScript dbr:Type_conversion dbr:Type_signature dbr:Type_system dbr:Whiley_(programming_language) dbr:Duck_typing dbc:Data_types dbr:Dynamic_typing dbr:Facebook dbc:Program_analysis dbc:Type_theory dbr:Ceylon_(programming_language) dbr:Kotlin_(programming_language) dbr:Racket_(programming_language) dbr:Pattern_matching dbr:Type_safety dbr:Expression_(computer_science) dbr:C.A.R._Hoare dbr:Verbosity dbr:Tagged_union dbr:Nullable_types dbr:Algebraic_data_types |
dbp:date | March 2020 (en) |
dbp:title | The citation later is for the quote, flow sensitive typing doesn't seem to improve null-safety, a null-safe type system will. Possible confusion as these languages have nullable/non-nullable types, as checking null-safety through flow-sensitive typing generally equates to a null check without it (en) |
dbp:wikiPageUsesTemplate | dbt:How dbt:Data_types dbt:Type_systems |
dcterms:subject | dbc:Type_systems dbc:Data_types dbc:Program_analysis dbc:Type_theory |
rdfs:comment | In programming language theory, flow-sensitive typing (also called flow typing or occurrence typing) is a type system where the type of an expression depends on its position in the control flow. In statically typed languages, a type of an expression is determined by the types of the sub-expressions that compose it. However, in flow-sensitive typing, an expression's type may be updated to a more specific type if it follows an operation that validates its type. Validating operations can include type predicates, imperative updates, and control flow. (en) En teoría de lenguaje de programación, tipado sensitivo al flujo es un sistema de tipos donde el tipo de una variable es determinado por el flujo de control. Clásicamente, en los lenguajes con tipado estático, una variable queda ligada a un tipo durante todo su tiempo de uso. En los sistemas de tipado sensible al flujo, el tipo de una variable puede cambiar dentro del cuerpo de un método, mientras atraviesa (o fluye a través de) las estructuras de control. El tipo se determina usando inferencia de tipos y la información de tipos fluye usando Tipo de dato algebraico. (es) |
rdfs:label | Tipado sensitivo al flujo (es) Flow-sensitive typing (en) |
owl:sameAs | yago-res:Flow-sensitive typing wikidata:Flow-sensitive typing dbpedia-es:Flow-sensitive typing https://global.dbpedia.org/id/2EBpZ |
prov:wasDerivedFrom | wikipedia-en:Flow-sensitive_typing?oldid=1124118933&ns=0 |
foaf:isPrimaryTopicOf | wikipedia-en:Flow-sensitive_typing |
is dbo:wikiPageWikiLink of | dbr:Whiley_(programming_language) dbr:Ceylon_(programming_language) |
is dbp:typing of | dbr:Whiley_(programming_language) |
is foaf:primaryTopic of | wikipedia-en:Flow-sensitive_typing |