Результаты поиска по запросу "type-systems"
Что означает оператор # в Scala?
Я вижу этот код в этом блоге:Программирование на уровне типов в Scala [http://apocalisp.wordpress.com/2010/06/08/type-level-programming-in-scala/]: // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the ...
Тип Хаскеля против нового типа в отношении безопасности типов [закрыто]
я знаюnewtype чаще по сравнению сdata в Haskell, но я представляю это сравнение скорее с точки зрения дизайна, чем с технической точки зрения. В неперспективных / ОО-языках есть анти-паттерн "примитивная ...
Почему бы не быть зависимым типом?
Я видел несколько источников, повторяющих мнение, что «Haskell постепенно становится типизированным языком». Предполагается, что с появлением все большего количества языковых расширений Haskell движется в этом общем направлении, но пока не ...
Почему в Haskell есть «данные» и «новый тип»? [Дубликат]
На этот вопрос уже есть ответ: Разница между `data` и` newtype` в Haskell [/questions/5889696/difference-between-data-and-newtype-in-haskell] 1 ответ Кажется, чтоnewtype определение это простоdata определение, которое подчиняется некоторым ...
Разница между экзистенциальными типами Scala и подстановочным символом Java на примере?
Немного конкретнее, чем вопрос переполнения стекаЧто такое экзистенциальный тип?В чем разница между Scala?existential types и Javawildcardжелательно с каким-...
Что делает систему типов Haskell более «мощной», чем системы типов других языков?
чтениеНедостатки системы типов Scala по сравнению с Haskell?Я должен спросить: что именно делает систему типов Haskell более мощной, чем системы типов других...
Типизированный FP: Аргументы Tuple и Curriable Arguments
В статически типизированных функциональных языках программирования, таких как Standard ML, F #, OCaml и Haskell, функция обычно пишется с параметрами, отделе...