> I'd argue that SML (or derivative thereof) would make for a better teaching la...

		Jtsummers 83 days ago \| parent \| context \| favorite \| on: Why MIT switched from Scheme to Python (2009) > 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 A critique along those lines which suggests KRC and Miranda which are in the same vein as SML.