मैं टाइप थ्योरी को समझना चाहता हूं लेकिन मुझे पहले यह जानना होगा कि मैं इसे कैसे लागू कर सकता हूं। क्या प्रोग्रामिंग में टाइप सिस्टम से अलग सिद्धांत सिद्धांत के और अधिक गैर-स्पष्ट अनुप्रयोग हो सकते हैं? क्या अन्य अनुप्रयोग हो सकते हैं, आइए व्यक्तित्व रूपरेखा और पसंद में कहें?
2
क्यों कुछ के लिए अनुप्रयोगों के बाहर है क्या यह के लिए आविष्कार किया गया था?
—
राफेल
गणित की नींव? लोगों ने सिंथेटिक डोमेन थ्योरी, टोपोलॉजी आदि चीजों को औपचारिक रूप देने के लिए भी टाइप थ्योरी का इस्तेमाल किया है। कहानी सुनाने के लिए टाइप थ्योरिटिक टूल्स का उपयोग करने के लिए क्रिस मार्टेंस का काम भी है। निबंध लिंक
—
डैनियल ग्रैज़र
एक आवेदन के रूप में यो स्पष्ट कर सकता है?
—
जेक
मुझे आपके अंदाज़ से यकीन नहीं हुआ। मान लीजिए कि किसी ने कहा, "मैं मोटर वाहन इंजीनियरिंग को समझना चाहता हूं, लेकिन मुझे पहले यह जानना होगा कि मैं कार के लिए क्या उपयोग कर सकता हूं। क्या परिवहन से अलग कारों के अधिक गैर-स्पष्ट अनुप्रयोग हो सकते हैं?" उन्हें जवाब मिलता है कि कुछ लोग अपनी कारों में सोते हैं, और एंसेल एडम्स ने फोटो खींचने के लिए एक मंच के रूप में उनका उपयोग किया । खैर यह बहुत अच्छा है, लेकिन यह किसी को इंजीनियरिंग को समझने में मदद नहीं करता है और हमारे काल्पनिक छात्र को सुपर-रिक्लाइनिंग सीटों और बहुत कठोर निलंबन के साथ कारों को डिजाइन करने के लिए नेतृत्व करने की संभावना है।
—
डेविड रिचेर्बी
तथ्य यह है कि सैद्धांतिक कंप्यूटर विज्ञान का बहुत कुछ (जिन सामानों पर मैं काम करता हूं) व्यावहारिक रूप से बेकार है, हालांकि गणितीय रूप से सुंदर है। दुर्भाग्य से आपको पक्ष लेने होंगे।
—
युवल फिल्मस