Phase distinction
id:
phase-distinction-255-14422613
title:
Phase distinction
text:
Phase Distinction is a property of programming languages that observe a strict division between types and terms. A concise rule for determining whether phase distinction is preserved in a language or not has been proposed by Luca Cardelli - If A is a compile-time term and B is a subterm of A, then B must also be a compile-time term. Most statically typed languages conform to the principle of phase distinction. However, some languages with especially flexible and expressive type systems allow typ
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Phase_distinction
date created:
date modified:
2019-06-04T19:59:06Z
main entity:
{"identifier":"Q7180947","url":"https://www.wikidata.org/entity/Q7180947"}
image:
fields total:
13
integrity:
13