Результаты поиска по запросу "type-systems"

1 ответ

Как удобно работать с системой типов на Haskell?

2 ответа

Система типов Python - Объект против Типа

Я новичок в Python. Я знаком с Java, C / C ++ и OCaml. Я понимаю лямбда-исчисление и элементарную теорию типов благодаря курсу языков программирования, который я прошел в университете. Вооружившись этим фоном, я попытался прочитать это ...

2 ответа

Haskell: Задание ограничений одинаковой длины для списков в системе типов

В Хаскеле у меня часто есть такая функция

ТОП публикаций

11 ответов

Что такое экзистенциальный тип?

5 ответов

Все ли языки программирования имеют четкую концепцию NIL, null или undefined?

2 ответа

Каковы пределы вывода типа?

Каковы пределы вывода типа? Какие системы типов не имеют общего алгоритма вывода?

2 ответа

Каковы различия и сходства систем типа Scala и Haskell?

Как объяснить систему типов Scala эксперту по Haskell? Какие примеры показывают преимущества Scala? Как объяснить систему типов Хаскелла опытному специалисту по Scala? Что можно сделать в Хаскеле, чего нельзя сделать в Скале?

5 ответов

Что делает систему типов Haskell более «мощной», чем системы типов других языков?

чтениеНедостатки системы типов Scala по сравнению с Haskell?Я должен спросить: что именно делает систему типов Haskell более мощной, чем системы типов других...

0 ответов

Есть ли в C # эквивалент структурной типизации Scala?

В Scala я могу определитьструктурные типы следующее:

4 ответа

Что означает оператор # в 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 ...