Вопросы с тегом хиндли-милнера - PullRequest

Вопросы с тегом хиндли-милнера

1 голос
2 ответов

Я пытаюсь понять правила, касающиеся вывода типов, так как я хотел бы включить его в свой...

Jeff / 25 мая 2019
6 голосов
7 ответов
3 голосов
1 ответ

Как работает алгоритм Хиндли-Милнера, когда есть перегруженные функции? В простой форме (без...

tmt / 21 апреля 2019
1 голос
1 ответ

Я хотел бы расширить алгоритм W до логического вывода кортежей и списков в F #, априори есть только...

Foxy / 17 апреля 2019
0 голосов
2 ответов
12 голосов
3 ответов

Есть ли в C ++ реализация типа Damas-Hindley-Milner , предпочтительно с использованием современных...

keveman / 08 января 2012
8 голосов
1 ответ

Может кто-нибудь объяснить шаг за шагом вывод типа в следующей программе F #: let rec sumList lst =...

riship89 / 06 декабря 2011
11 голосов
2 ответов

Я работаю над простой системой, основанной на потоке данных (представьте, что это редактор / среда...

akarnokd / 22 июля 2011
3 голосов
2 ответов

Что я делаю: Я пишу небольшую систему интерпретатора, которая может анализировать файл, превращать...

Victor Nicollet / 25 октября 2010
36 голосов
5 ответов

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

Curry / 24 сентября 2010
18 голосов
1 ответ

Я ищу информацию об известном алгоритме Дамаса-Хиндли-Милнера для определения типа для...

Vinz / 04 сентября 2010
0 голосов
3 ответов

Я пытался сделать хвостовую рекурсивную версию этой очень простой функции SML: fun suffixes [] =...

harms / 06 декабря 2009
25 голосов
2 ответов

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

Greg Bacon / 02 декабря 2009
20 голосов
2 ответов

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

Miguel A. Friginal / 09 августа 2009
11 голосов
2 ответов

Хиндли-Милнер - это система типов, которая является основой систем типов многих известных языков...

user128807 / 10 июля 2009
117 голосов
3 ответов

Я встречал этот термин Хиндли-Милнер , и я не уверен, что понял, что это значит. Я прочитал...

yehnan / 30 декабря 2008
Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...