Not much of expert here, but have played with ML. I find interesting that he criticizes "Restrictive type system". However, also at the same time likes the "Com

Not much of expert here, but have played with ML. I find interesting that he criticizes "Restrictive type system". However, also at the same time likes the "Compile-time type checking". I definitely did not read the entire paper in detail considering it's length. However, he brings up ML's type system a lot. I thought that was one ML's main advantages. Although, at the same time criticizing some of the decisions or results from those decisions.