Pytania otagowane jako type-theory


1
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, co teoria typów homotopii będzie …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.