Pytania oznaczone «type-theory»

Prawidłowa terminologia w teorii typów: typy, konstruktory typów, rodzaje / rodzaje i wartości

W odpowiedzi na poprzednie pytanie rozpoczęła się krótka debata na temat poprawnej terminologii dla niektórych konstruktów. Ponieważ nie znalazłem pytania (innego niż to lub tamto , co nie jest całkiem właściwe), aby odpowiedzieć na to jasno, tworzę to nowe. Wątpliwe terminy i ich relacje to: typ,...

Jakie są praktyczne implikacje teorii typów homotopii w programowaniu?

Właśnie zaczynam uczyć się Haskell, po pochodzeniu ze światów JavaScript / Ruby. Natknąłem się na https://github.com/HoTT i książkę Teoria typów homotopii , którą bardzo chętnie czytam. Będę jednak uczyć się pojęć z matematyki i teorii typów, więc wydaje się, że minie dużo czasu, zanim zrozumiem,...