On: A Critique of Standard ML (1992) [pdf]

[lmm]

> I find interesting that he criticizes "Restrictive type system".

He doesn't? He quotes an anonymous reviewer and points out that the type system is not very restrictive and well worth it.