> I'd argue that SML (or derivative thereof) would make for a better teaching language, for both the lambda calculus aspect and the type theory aspect. https:/

> I'd argue that SML (or derivative thereof) would make for a better teaching language, for both the lambda calculus aspect and the type theory aspect. https://news.ycombinator.com/item?id=13098598 https://news.ycombinator.com/item?id=13098598 A critique along those lines which suggests KRC and Miranda which are in the same vein as SML.