2
ответа
Опишите вывод типа Damas-Milner способом, который может понять студент CS101
Хиндли-Milner является системой типов, которая является основанием систем типов многих известных языков функционального программирования. Damas-Milner является алгоритмом, который выводит (выводит?) вводит в Хиндли-...
вопрос задан: 23 May 2017 12:25
2
ответа
Кто такой Хиндли-Milner?
Я встретился с этим Хиндли-Milner термина, и я не уверен, если схватывание, что это означает. Я прочитал следующие сообщения: Steve Yegge - Динамические Языки Наносят ответный удар Steve Yegge - проблема Pinocchio...
вопрос задан: 20 August 2014 14:26
2
ответа
Выведенный тип, кажется, обнаруживает бесконечный цикл, но что действительно происходит?
В Andrew Koenig история о выводе типа ML автор использует реализацию сортировки слиянием как осуществление изучения для ML и рад найти “неправильный” тип...
вопрос задан: 8 May 2012 01:44
2
ответа
Каковы пределы вывода типа?
Каковы пределы вывода типа? Какие системы типов не имеют никакого общего алгоритма вывода?
вопрос задан: 9 August 2009 12:01
0
ответов
& ldquo; Какую часть Хиндли-Мильнера вы не понимаете? & rdquo;
Клянусь, раньше продавалась футболка с бессмертными словами: какую часть ты не понимаешь? В моем случае ответ будет ... все это! В частности, я часто вижу обозначения, как ...
вопрос задан: 4 June 2018 13:38
0
ответов
Как кодировать WAV в mp3 на устройстве Android
Я упростил свой вопрос и предложил вознаграждение:
Какие есть варианты для сжатия необработанных аудиоданных PCM в mp3 на устройстве Android. Мой оригинальный пост:
Я создаю синтезатор на своем Android ...
вопрос задан: 19 October 2017 04:09
0
ответов
Что делает систему типов Haskell более «мощной», чем системы типов других языков?
Недостатки чтения системы типов Scala по сравнению с Haskell? Я должен спросить: что конкретно делает систему типов Haskell более мощной чем системы типов других языков (C, C ++, Java). ...
вопрос задан: 23 May 2017 11:58
0
ответов
Вывод типа, реализованный на C ++
Существует ли реализация на C ++ вывода типа стиля Дамаса-Хиндли-Милнера, предпочтительно с использованием современных методов C ++?
вопрос задан: 23 May 2017 10:30
0
ответов
Вывод рекурсивных выражений с использованием Хиндли Милнера и ограничений
Я пытаюсь сделать вывод о типе следующего выражения: let rec fix f = f (fix f), которому должен быть присвоен тип (a -> a) -> a После использования восходящего алгоритма (описанного в ...
вопрос задан: 14 May 2012 22:10
0
ответов
Какие типы и / или термины в system-f не могут быть выражены в Hindley Milner
Я помню, как где-то читал, что Hindley Milner был ограничением для system-f. Если это так, не мог бы кто-нибудь предоставить мне некоторые термины, которые можно ввести в system-f, но не в HM.
вопрос задан: 1 March 2012 12:09
0
ответов
Вывод типа Хиндли Милнера в F #
Может ли кто-нибудь объяснить пошаговый вывод типа в следующей программе на F #: let rec sumList lst = match lst with | [] -> 0 | hd :: tl -> hd + sumList tl Я специально хочу увидеть ...
вопрос задан: 6 December 2011 07:29
0
ответов
Алгоритм Хиндли-Милнера в Java
Я работаю над простым система на основе потока данных (представьте ее как редактор / среда выполнения LabView), написанная на Java. Пользователь может соединять блоки вместе в редакторе, и мне нужен вывод типа, чтобы гарантировать ...
вопрос задан: 21 July 2011 22:20