Typing environment (original) (raw)
In type theory a typing environment (or typing context) represents the association between variable names and data types. More formally an environment is a set or ordered list of pairs , usually written as , where is a variable and its type. The judgement is read as " has type in context ". In statically typed programming languages these environments are used and maintained by typing rules to type check a given program or expression.
| Property | Value |
|---|---|
| dbo:abstract | In type theory a typing environment (or typing context) represents the association between variable names and data types. More formally an environment is a set or ordered list of pairs , usually written as , where is a variable and its type. The judgement is read as " has type in context ". In statically typed programming languages these environments are used and maintained by typing rules to type check a given program or expression. (en) Середовище типізації (англ. typing environment), або контекст типізації (англ. typing context) — поняття у теорії типів, що представляє зв'язок між іменами змінних і типами даних. Формально кажучи, середовище є множиною або впорядкованим списком пар , що зазвичай записується як . Тут — змінна, а — її тип. Судження Γ ⊢ e: τ читається як: «e має тип τ у контексті Γ». У мовах програмування зі статичною типізацією такі середовища забезпечуються правилами виведення типів. (uk) 在编程语言类型论中，定型环境（英語：typing environment）是变量名与其类型的列表，用（Gamma）（伽瑪）來做表示。在静态类型编程语言中，利用定型环境确定变量的类型，进行类型检查。 如果x的类型是int，则写作。如果定型环境里有x,y,z三个变量名，类型分别为int, bool, string，则写作。 判断类型为char的变量a是否在定型环境里面，由于定型环境里只记录了x,y,z的类型，所以这句表达式的结果是假。 (zh) |
| dbo:wikiPageID | 34556475 (xsd:integer) |
| dbo:wikiPageLength | 1064 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1124759031 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Statically_typed dbr:Type_checking dbr:Type_system dbr:Type_theory dbc:Data_types dbr:Data_type dbr:Judgment_(mathematical_logic) dbc:Program_analysis dbc:Type_theory dbr:Typing_rule dbr:Programming_language |
| dbp:wikiPageUsesTemplate | dbt:Reflist dbt:Type-theory-stub |
| dct:subject | dbc:Data_types dbc:Program_analysis dbc:Type_theory |
| rdfs:comment | In type theory a typing environment (or typing context) represents the association between variable names and data types. More formally an environment is a set or ordered list of pairs , usually written as , where is a variable and its type. The judgement is read as " has type in context ". In statically typed programming languages these environments are used and maintained by typing rules to type check a given program or expression. (en) Середовище типізації (англ. typing environment), або контекст типізації (англ. typing context) — поняття у теорії типів, що представляє зв'язок між іменами змінних і типами даних. Формально кажучи, середовище є множиною або впорядкованим списком пар , що зазвичай записується як . Тут — змінна, а — її тип. Судження Γ ⊢ e: τ читається як: «e має тип τ у контексті Γ». У мовах програмування зі статичною типізацією такі середовища забезпечуються правилами виведення типів. (uk) 在编程语言类型论中，定型环境（英語：typing environment）是变量名与其类型的列表，用（Gamma）（伽瑪）來做表示。在静态类型编程语言中，利用定型环境确定变量的类型，进行类型检查。 如果x的类型是int，则写作。如果定型环境里有x,y,z三个变量名，类型分别为int, bool, string，则写作。 判断类型为char的变量a是否在定型环境里面，由于定型环境里只记录了x,y,z的类型，所以这句表达式的结果是假。 (zh) |
| rdfs:label | Typing environment (en) 定型环境 (zh) Середовище типізації (uk) |
| owl:sameAs | freebase:Typing environment wikidata:Typing environment dbpedia-uk:Typing environment dbpedia-zh:Typing environment https://global.dbpedia.org/id/4wNcB |
| prov:wasDerivedFrom | wikipedia-en:Typing_environment?oldid=1124759031&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Typing_environment |
| is dbo:wikiPageRedirects of | dbr:Environment_(type_theory) dbr:Type_environment dbr:Typing_context |
| is dbo:wikiPageWikiLink of | dbr:Gamma_(disambiguation) dbr:Simply_typed_lambda_calculus dbr:Environment_(type_theory) dbr:Type_inhabitation dbr:Type_environment dbr:Typing_context |
| is foaf:primaryTopic of | wikipedia-en:Typing_environment |