Вопросы с тегом типа-системы

36 голосов

5 ответов

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

Чтение Недостатки системы типов Scala по сравнению с Haskell? , я должен спросить: что именно...

Curry / 24 сентября 2010

25 голосов

2 ответов

Предполагаемый тип обнаруживает бесконечный цикл, но что на самом деле происходит?

В Andrew Koenig's Анекдот о выводе типа ML , автор использует реализацию сортировка слиянием в...

Greg Bacon / 02 декабря 2009

Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.

...