क्या कोई क्रियात्मक (कार्यात्मक) प्रोग्रामिंग भाषाएं हैं जहां सभी कार्यों में एक विहित रूप है? अर्थात्, इनपुट के सभी सेट के लिए समान मान लौटाने वाले किसी भी दो कार्यों को उसी तरह से दर्शाया जाता है, उदाहरण के लिए यदि f (x) x + 1 लौटाया, और g (x) x + 2 लौटाया, तो f (x )) और जी (x) कार्यक्रम के संकलित होने पर अप्रत्यक्ष निष्पादन उत्पन्न करेगा।
शायद अधिक महत्वपूर्ण बात यह है कि कार्यक्रमों के कैनोनिकल प्रतिनिधित्व के बारे में मुझे और कहाँ से पता चलेगा (Googling "कैनोनिकल प्रतिनिधित्व कार्यक्रम" फलदायी से कम रहा है)? यह पूछने के लिए एक स्वाभाविक प्रश्न की तरह लगता है, और मुझे डर है कि मैं जो खोज रहा हूं, उसके लिए मुझे उचित शब्द नहीं पता है। मुझे इस बात की उत्सुकता है कि क्या ऐसी भाषा के लिए ट्यूरिंग पूर्ण होना संभव है, और यदि नहीं, तो ऐसी संपत्ति को बनाए रखने के दौरान आपके पास एक प्रोग्रामिंग भाषा कितनी स्पष्ट हो सकती है।
मेरी पृष्ठभूमि सीमित है, इसलिए मैं कम पूर्वापेक्षा वाले स्रोतों को प्राथमिकता दूंगा, लेकिन अधिक उन्नत स्रोतों के संदर्भ भी शांत हो सकते हैं, क्योंकि इस तरह से मुझे पता चल जाएगा कि मैं किस दिशा में काम करना चाहता हूं।