1
Які практичні наслідки теорії типу гомотопії в програмуванні?
Я тільки починаю вивчати Haskell, після приходу зі світу JavaScript / Ruby. Я натрапив на https://github.com/HoTT та книгу теорії типу гомотопії , яку я дуже прагну прочитати. Однак я буду вивчати поняття теорії математики та типів, коли я піду, тому, схоже, пройде багато часу, перш ніж я зрозумію, що означатиме …
11
type-theory