Ein interessantes C-Derivat das bei vielen anderen Sprachen - unter anderem denen der ML-Familie - geräubert hat. Ein C mit Typsicherheit, Speichermanagement (allerdings weiterhin manuelles Speichermanagement), polymorphen Funktionen, Pattern-Matching, Typ-Inferenz und noch vielen weiteren netten Eigenschaften. Verpackt in einer perverse aufgeblasenen Syntax, die auf der schon perversen C-Syntax aufbaut 
Hier gibts den Originalartikel.
