Pertanyaan yang diberi tag type-theory

Terminologi yang benar dalam teori tipe: tipe, konstruktor tipe, macam / macam dan nilai

Dalam jawaban untuk pertanyaan sebelumnya , debat kecil dimulai tentang terminologi yang benar untuk konstruksi tertentu. Karena saya tidak menemukan pertanyaan (selain ini atau itu , yang bukan hal yang benar) untuk mengatasinya dengan jelas, saya membuat yang baru ini. Istilah yang dipertanyakan...

Apa implikasi praktis dari teori tipe homotopy dalam pemrograman?

Saya baru mulai belajar Haskell, setelah datang dari dunia JavaScript / Ruby. Saya telah menemukan https://github.com/HoTT dan buku Teori Tipe Homotopy , yang sangat ingin saya baca. Namun, saya akan belajar konsep teori matematika dan tipe saat saya pergi, jadi sepertinya akan butuh waktu lama...