ML built a polymorphic type system (invented by Robin Milner in 1973) on top of Lisp, pioneering statically typed functional programming languages.
إم إل، بَنَتْ نوع نظام عديد الأشكال (بالإنجليزية: polymorphic type system) (اخترعه روبن ميلنر في عام 1973) على ليسب، رائدةً لغات البرمجة الوظيفيّة ثابتة النوع.