type-theory पर टैग किए गए जवाब

पिछले प्रश्न के उत्तर में , कुछ निर्माणों के लिए सही शब्दावली के बारे में एक छोटी सी बहस शुरू हुई। मैं एक सवाल (अलावा अन्य नहीं मिला जैसा कि इस या कि , जो बहुत सही बात नहीं है) यह स्पष्ट रूप से पता करने के लिए, मैं इस …

14 type-systems  data-types  type-theory 

मैं जावास्क्रिप्ट / रूबी दुनिया से आने के बाद हास्केल सीखना शुरू कर रहा हूं। मैं https://github.com/HoTT और होमोटॉपी टाइप थ्योरी किताब लेकर आया हूं , जिसे पढ़ने के लिए मैं बहुत उत्सुक हूं। हालाँकि, मैं गणित और टाइप थ्योरी अवधारणाओं को सीखता जाऊंगा क्योंकि मैं जाता हूं, इसलिए ऐसा …

11 type-theory