Anonymous user
Icon+Unicon/Intro: Difference between revisions
→Self-Descriptive Safe Types
Line 33:
=== 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 ===
| |||