Types in Mondrian
The Mondrian design tackles the mismatch between traditional functional language type systems and that of the CLR by identifying ways of mapping the former onto the later. A syntax has been defined that looks familiar to the object-oriented CLR programmer, so that task of interlanguage working is simplified.
In the following discussions, we visualize CLR code fragments by using C#. Although using CLR Intermediate Language (IL) would be more language-neutral, C# is far easier to read yet still follows the CLR model closely.
Primitive types appear in all languages in much the same way, and Mondrian is no different. Unusually for a functional language, Mondrian directly supports strings through the CLR primitive ...