एक सार्वभौमिक कार्य u
एक हास्केल जैसी भाषा में आसानी से लिखा जा सकता है (कोई दुष्प्रभाव, उच्च-क्रम के कार्य), अर्थात्:
u f x = f x
समारोह u
सार्वभौमिक है क्योंकि यह स्वीकार करता है (का वर्णन) एक कार्यक्रम है f
और एक इनपुट टेप x
, और आप चलाने का परिणाम बताता है f
पर x
।
हालांकि यह उत्तर पूरी तरह से गंभीर नहीं है, लेकिन यह बताता है कि हास्केल जैसी भाषा के लिए एक संकलक या एक दुभाषिया में पहले से ही एक सार्वभौमिक कार्य के लिए आवश्यक सभी भवन भागों शामिल हैं। कहानी का नैतिक यह है कि ट्यूरिंग मशीनों के संदर्भ में सार्वभौमिक फ़ंक्शन को लागू करने के बारे में चिंता करने की तुलना में संकलक और दुभाषिए कैसे काम करते हैं, इसका अध्ययन करने में समय बेहतर व्यतीत होता है।