sentence1: إم إل، بَنَتْ نوع نظام عديد الأشكال (بالإنجليزية: polymorphic type system) (اخترعه روبن ميلنر في عام 1973) على ليسب، رائدةً لغات البرمجة الوظيفيّة ثابتة النوع.
sentence2: ML construyó un sistema de tipos polimórfico (inventado por Robin Milner en 1973) en el tope de Lisp, pionero en los lenguajes funcionales de programación con tipado estático.