Not only is it arbitrary, it could be cool if it was realistic. But "Not pure -> ML" ? Seriously ?

It should be Turing machines -> Too awkward for modeling programming -> Lisp Lambda calculus -> No typing -> ML -> Not pure -> Haskell ML -> no objects/modules -> Ocaml