Вопросы с тегом «type-theory»

В ответ на предыдущий вопрос началась небольшая дискуссия о правильной терминологии для определенных конструкций. Как я не нашел вопрос (кроме этого , или что , что не совсем правильно) для решения этого ясно, что я делаю это новый. Сомнительные термины и их отношения: тип, конструктор типа, параметр типа, виды или …

14 type-systems  data-types  type-theory 

Я только начинаю изучать Haskell, после того, как пришел из миров JavaScript / Ruby. Я наткнулся на https://github.com/HoTT и книгу по теории гомотопических типов , которую я очень хочу прочитать. Тем не менее, я буду изучать понятия математики и теории типов по мере продвижения, поэтому, похоже, пройдет много времени, прежде …

11 type-theory