«type-theory» etiketlenmiş sorular

Önceki bir sorunun cevabında , belirli yapılar için doğru terminoloji hakkında küçük bir tartışma başladı. Bunu açıkça ele alacak bir soru bulamadığım için ( bu ya da bunun dışında , doğru olanı değil), bu yeni soruyu yapıyorum. Şüpheli terimler ve ilişkileri şunlardır: tür, tür yapıcı, tür parametresi, türler veya türler …

14 type-systems  data-types  type-theory 

JavaScript / Ruby dünyalarından geldikten sonra Haskell'i öğrenmeye başladım. Https://github.com/HoTT ve okumaya çok hevesli olduğum Homotopy Type Theory kitabına rastladım . Bununla birlikte, matematik ve tür teorisi kavramlarını öğrenirken öğreneceğim, bu yüzden homotopi tür teorisinin pratik bir programcı için ne anlama geldiğini anlamadan önce uzun zaman alacak gibi görünüyor. Homotopy …

11 type-theory