इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें मिलनर प्रकार प्रणाली, जिसका प्रकार अनुमान एल्गोरिथ्म स्वचालित रूप से स्पष्ट प्रकार एनोटेशन की आवश्यकता के बिना अधिकांश अभिव्यक्तियों के प्रकारों को असाइन कर सकता है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "मिलनर प्रकार प्रणाली, जो स्पष्ट प्रकार एनोटेशन की आवश्यकता के बिना अधिकांश अभिव्यक्तियों के प्रकारों को स्वचालित रूप से असाइन करती है, और प्रकार सुरक्षा सुनिश्चित करती है कि एक अच्छी तरह से टाइप किया गया एमएल प्रोग्राम रनटाइम प्रकार त्रुटियों का कारण नहीं है। "