Psací prostředí - Typing environment

v teorie typů A prostředí pro psaní (nebo kontext psaní) představuje asociaci mezi názvy proměnných a typy dat.

Formálnější prostředí ${ displaystyle Gamma}$ je soubor nebo seřazený seznam párů ${ displaystyle langle x, tau rangle}$, obvykle psáno jako ${ displaystyle x: tau}$, kde ${ displaystyle x}$ je proměnná a ${ displaystyle tau}$ jeho typ.

The rozsudek

${ displaystyle Gamma vdash e: tau}$

se čte jako „${ displaystyle e}$ má typ ${ displaystyle tau}$ v souvislosti s ${ displaystyle Gamma}$ ".^[1]

v staticky napsané programovací jazyky tato prostředí používá a udržuje pravidla typu na kontrola typu daný program nebo výraz.

Viz také

• Typový systém

Reference

${ displaystyle Gamma vdash x: { text {Int}}}$

Tento teorie programovacího jazyka nebo teorie typů související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.