ML: Lisp's type system could be much more powerful. (Quite literally -- ML was made because Milner, et. al found Lisp to be too error-prone for proof-checking

ML: Lisp's type system could be much more powerful. (Quite literally -- ML was made because Milner, et. al found Lisp to be too error-prone for proof-checking programs.)