Check out my first novel, midnight's simulacra!
Programming Language Theory: Difference between revisions
From dankwiki
(→Typing) |
(→Typing) |
||
Line 140: | Line 140: | ||
* Support for ''subtyping'' | * Support for ''subtyping'' | ||
* Support for ''minimal'' and ''maximal'' types (also known as Bottom and Top) | * Support for ''minimal'' and ''maximal'' types (also known as Bottom and Top) | ||
===Conversion=== | |||
Treatment of a value of a given type as if it had another type, possibly involving modification of the underlying representation, or storage/alignment requirements thereof. When done explicitly, conversion is referred to as ''casting''; when done implicitly, it is called ''coercion''. | |||
==Objects== | ==Objects== |