คำถามติดแท็ก type-theory

ในคำตอบของคำถามก่อนหน้านี้การอภิปรายขนาดเล็กเริ่มต้นขึ้นเกี่ยวกับคำศัพท์ที่ถูกต้องสำหรับโครงสร้างบางอย่าง ขณะที่ฉันไม่พบคำถาม (นอกเหนือจากนี้หรือว่าซึ่งไม่ใช่สิ่งที่ถูกต้อง) ที่จะตอบคำถามนี้อย่างชัดเจนฉันกำลังสร้างคำถามใหม่ ข้อตกลงที่น่าสงสัยและความสัมพันธ์ของพวกเขาคือชนิดประเภทคอนสตรัคชนิดพารามิเตอร์ชนิดหรือประเภทและค่านิยม ฉันได้ตรวจสอบวิกิพีเดียเพื่อศึกษาทฤษฎีการพิมพ์ด้วย แต่ก็ไม่ได้อธิบายอย่างชัดเจนเช่นกัน ดังนั้นเพื่อให้มีคำตอบอ้างอิงที่ดีและตรวจสอบความเข้าใจของฉัน: สิ่งเหล่านี้ถูกกำหนดไว้อย่างเหมาะสมอย่างไร? ความแตกต่างระหว่างสิ่งเหล่านี้คืออะไร? พวกเขาเกี่ยวข้องกันอย่างไร

14 type-systems  data-types  type-theory 

ฉันเพิ่งเริ่มเรียนรู้ Haskell หลังจากมาจากโลก JavaScript / Ruby ฉันเจอhttps://github.com/HoTTและหนังสือHomotopy Type Theoryซึ่งฉันอยากอ่าน อย่างไรก็ตามฉันจะเรียนรู้แนวคิดเกี่ยวกับคณิตศาสตร์และทฤษฎีประเภทเมื่อฉันไปดังนั้นดูเหมือนว่ามันจะใช้เวลานานก่อนที่ฉันจะเข้าใจว่าทฤษฎีประเภท homotopy นั้นมีความหมายอย่างไรต่อโปรแกรมเมอร์ฝึกหัด คุณช่วยอธิบายได้ว่าทฤษฎีประเภท homotopy มีผลกระทบอย่างไรต่อการเขียนโปรแกรมในทางปฏิบัติสำหรับคนธรรมดา? ตัวอย่างเช่นจะทำให้การเขียนง่ายขึ้นไหม? ถ้าเป็นเช่นนั้นมีอะไรบ้าง? หรือจะอนุญาตให้คุณทำสิ่งใหม่ ๆ ในการเขียนโปรแกรมที่ไม่เคยมีมาก่อนหรือไม่? ถ้าเป็นเช่นนั้นมีอะไรบ้าง? ขอบคุณมากรอคอยที่จะห่อหัวของฉันไปรอบ ๆ ในระดับพื้นฐานมากขึ้น

11 type-theory