Icon+Unicon/Intro: Difference between revisions

Content added Content deleted
Line 33: Line 33:


=== Self-Descriptive Safe Types ===
=== Self-Descriptive Safe Types ===

Icon/Unicon data types are safe because they are implemented internally with descriptors which provide the data within a container. All operations on data know not only the value of the data but the type of the data. Programmers cannot incorrectly interpret the data as is possible in languages without type enforcement such as [[C]] or assemblers. Similarly, programmers are not constrained as with languages like [[Pascal]] that have strong static typing. Strong typing in Icon/Unicon results because all operations on these self descriptive data types are consistent and correct.


=== Mutable and Immutable Types ===
=== Mutable and Immutable Types ===