"který patří (alespoň podle skromného názoru autora tohoto článku) mezi trojici programovacích jazyků, které by měl alespoň rámcově znát každý programátor. " které jsou tedy ty další dva?
Jinak ML jazyky jsou hodně fajn. Třeba CAML nebo i OCaml, ale tam ty objekty přidávali asi jen proto, že to byla móda :-) V SML je přehledná definice funkcí přes "fun", to moc nevím, proč třeba v CAMLu nebo F# není. Haskell je na druhou stranu až moc akademický (IMHO).
tak do té trojice ještě určitě patří C (jako příčetný assembler :) a možná bych tam vrazil i něco z trojice LISP/Scheme/Clojure (těžko říct, který). Ale SML tam má své místo (někdo by mohl zvolit Haskell, ale ten je poměrně hodně pozicován do role čistě funkcionálního jazyka, těžko s ním začínat). SML umožňuje úplně obejít typy a třeba první půlrok se jimi vůbec nezabývat; teprve potom ukázat (opět: příčetný) typový systém; to aby se člověk hned na začátku nezkazil C#/Javou :-)