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.
| Attributes | Values |
|---|
| rdfs:label
| - Typing environment (en)
- 定型环境 (zh)
- Середовище типізації (uk)
|
| 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)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has 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)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)