10.10.1  Overview

The Mythryl type system differs from that of older languages like C++ and Java in two important ways:

In C++ and Java it is routine to use type casts to defeat the compiler type checker; this is frequently necessary in order to work around the limitations of their type systems.

The enhanced expressiveness of the Mythryl type system means it is almost never necessary to defeat the compiler typechecker in this way; in fact, the language does not even define a type cast operator for doing so. This leads to code which is enormously more typesafe, robust and maintainable than similar code written in legacy languages. It is routine for C programs to dump core when first run after significant maintenance edits; Mythryl programs typically run correctly again the first time they compile.

Comments and suggestions to: bugs@mythryl.org