type-systems- все статьи тега
Языки динамических типов и языки статических типов
каковы преимущества и ограничения языков динамического типа по сравнению с языками статического типа? см. также: что с любовью к динамическим языкам (гораздо более аргументированный поток...) ...
Что такое экзистенциальный тип?
Я прочитал статью в Википедии экзистенциальных типов. Я понял, что они называются экзистенциальными типами из-за экзистенциального оператора (∃). Хотя я не уверен, какой в этом смысл. В чем разница между T = ∃X { X a; int f(X); } и T = ∀x { X a; int f(X); } ? ...
Почему в Haskell есть "data" и "newtype"? [дубликат]
этот вопрос уже есть ответ здесь: разница между 'data' и 'newtype' в Haskell 1 ответ кажется, что a newtype определение-это просто data определение, которое подчиняется некоторым ограничениям (например, только один конструктор), и что из-за этих ограничений система выполнения может справиться newtypes более эффективно. И обработка сопоставления шаблонов для неопределенных значений немного отличается. н ...
Что означает путь-зависимые типы в Scala?
Я слышал, что Scala имеет зависимые от пути типы. Это как-то связано с внутренними классами, но что это на самом деле означает и почему меня это волнует? ...
Недостатки системы типа Scala по сравнению с Haskell?
Я читал, что система типов Scala ослаблена взаимодействием Java и поэтому не может выполнять некоторые из тех же полномочий, что и система типов Haskell. Это правда? Это слабость из-за стирания типа, или я ошибаюсь?во всех смыслах? Является ли эта разница причиной того, что у Scala нет typeclasses? ...