6
ответов
Как Функциональный язык отличается с точки зрения реализации языка
Существует целая новая парадигма "функционального программирования", для которого нужно общее изменение образов мышления по сравнению с процедурным программированием. Это использует функции высшего порядка, чистоту, монады, и т.д....
вопрос задан: 7 December 2009 09:13
4
ответа
Начало работы со Стандартом ML
Я ищу некоторый "ML для новичков" руководство - Google привел меня к некоторым неясным спискам рассылки или way-over-my-head текстам до сих пор. Проблема, у меня есть нулевой опыт функционального программирования...
вопрос задан: 31 October 2011 17:27
4
ответа
Объясните вывод типа ML программисту на C++
Как делает ML, выполняют вывод типа в следующем функциональном определении: позвольте добавляют, что b = + b Является этим как шаблоны C++, где никакая проверка типа не выполняется до точки шаблона...
вопрос задан: 20 April 2010 19:27
3
ответа
Каковы различия между SML и OCaml? [закрытый]
Что отличает два диалекта ML?
вопрос задан: 7 September 2017 14:01
3
ответа
ML IDE и компилятор для Windows или Linux или Mac
Я должен написать некоторый код в ML, и это - мой первый раз, когда я собираюсь использовать язык. Есть ли какая-либо Среда разработки для Стандарта ML? (предпочтительно в соответствии с Windows). Я пытался гуглить (и...
вопрос задан: 30 September 2014 19:29
3
ответа
Выполнение N-мерного обхода в чистом функциональном ML?
Идея является к технической победе несколькими размерами, каждый определенный как диапазон (* lower_bound, upper_bound, number_of_steps *) диапазон типа = реальный * реальный * интервал так функции как забавное нечто y x или забавное нечто z y...
вопрос задан: 5 February 2012 21:18
3
ответа
Получение выражения типа в ML
Все, я хочу получить выражение типа для функции ниже в ML: забава f x y z = y (x z) Теперь я знаю, что ввод того же генерировал бы выражение типа. Но я хочу получить эти значения...
вопрос задан: 16 July 2010 11:24
3
ответа
Понимание ошибки типа: “контрольная сигнатура Int*Int-> Интервал, но получила Int*Int-> Интервал”
Комментарии к сообщению Steve Yegge о серверной стороне, JavaScript начал обсуждать достоинства систем типов на языках и этом комментарии, описывают:... примеры от H-M разрабатывают системы где Вы...
вопрос задан: 27 November 2008 20:55
2
ответа
Выведенный тип, кажется, обнаруживает бесконечный цикл, но что действительно происходит?
В Andrew Koenig история о выводе типа ML автор использует реализацию сортировки слиянием как осуществление изучения для ML и рад найти “неправильный” тип...
вопрос задан: 8 May 2012 01:44
2
ответа
GUI для стандартного ML?
Я начал изучать Стандартный ML недавно из любопытства. Таким образом, то, что я знаю, это, имеет эффективный компилятор (MLton), который позволяет нам свободно использовать абстракции, не вызывая беспокойство о производительности. Это...
вопрос задан: 11 October 2009 05:28
0
ответов
что такое curry и uncurry в функциях высокого порядка в ML
fun curry f x y = f (x, y); весело uncurry f (x, y) = f x y; fun compose (f, g) x = f (g x); Я понимаю функцию compose, но не совсем понимаю curry и uncurry в ML. Кто-нибудь может это объяснить? ...
вопрос задан: 31 December 2016 14:10
0
ответов
Example of nested signatures in OCaml?
In OCaml, you can nest signatures: module type FOO =
sig модуль типа BAR (*… *)
end I was just wondering if anyone had any examples of this in use, since I can’t think of any places where it ...
вопрос задан: 19 October 2015 21:57
0
ответов
Могу ли я создать графический интерфейс из ocaml toplevel?
À несколько вопросов, касающихся интерактивного верхнего уровня и программирования графического пользовательского интерфейса: возможно ли динамическое создание графического интерфейса из верхнего уровня ocaml ?
Можно использовать графику ...
вопрос задан: 19 February 2015 13:22
0
ответов
Сайты, богатые упражнениями или объяснениями для SML? [закрыто]
Я знаю, что мне нужно пройти через Google для поиска и т.д., я сделал, но они не предлагают то, что мне нужно, 90% этих сайтов приводят тот же пример и даже иногда то же самое объяснение, если есть кто-то, кто ...
вопрос задан: 14 August 2013 14:04
0
ответов
Преимущество в обходе нескольких списков
Я видел много примеров в функциональных языках об обработке списка и построении функции, чтобы сделать что-то со своими элементами после получения некоторого дополнительного значения (обычно не присутствующего в ...
вопрос задан: 17 December 2012 20:37
0
ответов
Пример теоремы Черча-Россера на языке функционального программирования
Я видел множество ссылок на теорему Черча-Россера и, в частности, на диаграмму свойств ромба, изучая функциональное программирование, но я не наткнулся на хороший пример кода. Если...
вопрос задан: 23 May 2012 22:56
0
ответов
Вывод рекурсивных выражений с использованием Хиндли Милнера и ограничений
Я пытаюсь сделать вывод о типе следующего выражения: let rec fix f = f (fix f), которому должен быть присвоен тип (a -> a) -> a После использования восходящего алгоритма (описанного в ...
вопрос задан: 14 May 2012 22:10
0
ответов
OCaml -Сопоставление шаблона со ссылкой на список в кортеже
Есть ли более чистый способ сделать это? Я пытаюсь сопоставить шаблон (a' option*(char *nodeType )list ref, единственный способ, которым я нашел, это :сопоставить a с | _, l -> сопоставить !l с...
вопрос задан: 25 April 2012 03:47
0
ответов
Есть ли у SML (Poly )CL -как у REPL?
Вот цитата из книги Рона Гаррета «Lisping at JPL» :: «Отладка программы, работающей на оборудовании стоимостью 100 миллионов долларов, которое находится на расстоянии 100 миллионов миль, — это интересный опыт. Наличие цикла печати read -eval -...
вопрос задан: 4 March 2012 14:45
0
ответов
Лучше использовать «и» или «in» при объединении операторов let?
Я понимаю, что это, вероятно, глупый вопрос, но. .. Если я связываю кучу операторов let, которым не нужно знать значения друг друга, лучше использовать and или in? Например, какой из ...
вопрос задан: 2 March 2012 13:25
0
ответов
Варианты или полиморфные варианты?
Я заметил, что среди знакомых мне программистов OCaml некоторые из них всегда используют полиморфные варианты (варианты, которые не объявлены, с префиксом обратной кавычки), тогда как другие никогда не используют полиморфные ...
вопрос задан: 20 February 2012 19:26
0
ответов
Какой урок английского вы посоветуете для изучения OCaml? [закрыто]
Я хочу прорекламировать OCaml для начинающих и ищу хорошие руководства на английском языке; не то, чтобы вы только слышали, но то, что вы действительно пытались и сочли полезным ...
вопрос задан: 20 February 2012 09:18
0
ответов
Как понимать сегментированные биномиальные кучи, описанные в <Чисто функциональные структуры данных>
В главе 6.3.1 диссертации «Чисто функциональные структуры данных» говорится: «Затем, когда мы создаем новое дерево из нового элемента и отрезка деревьев рангов 0 ... r-1, мы просто сравниваем новое ...
вопрос задан: 23 November 2011 10:27
0
ответов
Каковы основные теоретические трудности при добавлении модулей в стиле ML в Haskell?
Хорошо известно, что Классы типов в стиле Haskell и модули в стиле ML предлагают разные механизмы для определения интерфейсов. Они (возможно) эквивалентны по мощности, но на практике у каждого есть свои собственные ...
вопрос задан: 17 April 2011 17:37
0
ответов
Есть ли обходной путь, позволяющий перетаскивать типы ввода с помощью Firefox и HTML 5?
У меня есть кроссбраузерное решение для перетаскивания с использованием HTML 5, которое работает для всех элементов в IE 9, Chrome и Safari. Firefox работает со всем, кроме типов ввода, таких как текстовые поля. Я ...
вопрос задан: 25 March 2011 21:46
0
ответов
Различия между конструкторами данных / типов и функциями ?
Может ли кто-нибудь объяснить мне, в чем разница между конструкторами данных / типов и функциями? Haskell смешивает их и дает нам универсальный интерфейс (все похоже на функции, в частности, мы можем ...
вопрос задан: 18 March 2011 16:18
0
ответов
Изучение / использование машинного обучения. Какую систему мне следует использовать?
Я хочу изучить и использовать ML, но есть много компиляторов. Мне нужно: скорость
низкое использование памяти
заправка
изменяемые массивы и типы записей
продолжения
готовый к производству код
легкий ffi
своевременно
...
вопрос задан: 4 March 2011 09:13
0
ответов
Гарантии доступа для ссылок ML?
Существуют ли какие-либо гарантии доступа с типом Ref в ML при одновременном доступе?
вопрос задан: 8 October 2010 03:22