5
“एक प्रमाण एक कार्यक्रम है; सूत्र यह साबित करता है कि कार्यक्रम के लिए एक प्रकार है ”
यह एक दार्शनिक प्रकार का प्रश्न हो सकता है, लेकिन मेरा मानना है कि इसका एक वस्तुनिष्ठ उत्तर है। यदि आप हास्केल के बारे में विकिपीडिया लेख पढ़ते हैं, तो आप निम्नलिखित पा सकते हैं: भाषा हास्केल करी और उनके बौद्धिक वंशजों की टिप्पणियों में निहित है, कि "एक प्रमाण …
37
haskell