7
ответов
Объяснение сопоставления с образцом по сравнению с переключателем
Я пытался объяснить различие между операторами переключения и сопоставлением с образцом (F#) нескольким людям, но я действительно не был в состоянии объяснить это хорошо.. большую часть времени они просто смотрят...
вопрос задан: 14 October 2008 22:05
6
ответов
Haskell или Стандарт ML для новичков? [закрытый]
Я собираюсь быть ведущим курса более низкого подразделения по дискретным структурам. Я выбрал учебник Дискретные Структуры, Логика и Исчисляемость частично, потому что это содержит примеры и понятия...
вопрос задан: 21 March 2017 13:49
6
ответов
Для чего используется SML? [закрытый]
Каково использование SML в реальном слове? Его практические применения подобны практическому применению Пролога?
вопрос задан: 29 November 2011 19:34
4
ответа
Начало работы со Стандартом ML
Я ищу некоторый "ML для новичков" руководство - Google привел меня к некоторым неясным спискам рассылки или way-over-my-head текстам до сих пор. Проблема, у меня есть нулевой опыт функционального программирования...
вопрос задан: 31 October 2011 17:27
4
ответа
Использование ML в “реальных” приложениях
Мне действительно понравилось изучать ML в колледже. Я часто нахожу функциональное программирование освежающе изящным способом записать определенные алгоритмы. Я услышал о F# и играл вокруг с этим немного. Однако, я имею...
вопрос задан: 26 June 2009 12:41
4
ответа
Циклы в SML/NJ
Я очень плохо знаком с SNL/NJ и задавался вопросом, как я мог выполнить следующее: нечто (материал, счетчик) {в то время как (счетчик> 0) {панель (материал); противо1;} возврат;} Что-то как...
вопрос задан: 3 May 2009 23:38
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
ответа
различие между инфиксом, infixr, infixl
Я прочитал книгу, которая использует инфикс, infixr, и infixl в примерах программ. Я задаюсь вопросом, каковы различия. Я предполагаю, что infixr выполняет операцию справа налево, и наоборот.
вопрос задан: 11 April 2010 16:05
3
ответа
Что хорошая структура данных состоит в том, чтобы представить неориентированного графа?
Я должен создать неориентированного графа. Мне не нужен он, чтобы сделать что-либо, также полагают, но идеально это работало бы как это: структура UDG = UndirectedGraph val g = UDG.empty val g = UDG.addEdges (g, n1, [...
вопрос задан: 16 September 2009 10:05
2
ответа
SML более короткий синтаксис базового регистра для моей функции
Какой будет более короткий синтаксис для этой функции? Я заметил, что многие программисты используют каналы в своих функциях, но я застрял, пытаясь понять, как я могу сделать то же самое для этого. веселье ...
вопрос задан: 18 January 2019 04:50
2
ответа
Как я могу распечатать полиморфные значения в Стандарте ML?
Существует ли способ распечатать полиморфные значения в Стандарте ML (SML/NJ конкретно)? У меня есть полиморфная функция, которая не делает то, что я хочу и из-за плачевного состояния, которое отлаживает в SML (см...
вопрос задан: 23 May 2017 10:09
2
ответа
Быстрый Стандарт компилятор ML или интерпретатор байт-кода, с read-eval-print циклом, для Linux?
Для использования с классом я буду преподавать, я ищу быстрый интерпретатор компилятора или байт-кода для Стандарта ML. Я ищу быстрое время компиляции; любое разумное время выполнения сделает. Премия, если...
вопрос задан: 12 July 2010 03:00
2
ответа
Включая две подписи, обоих с 'типом t' [Стандарт ML]
Изобретенный пример: подпись A = тип t сигнала val x: t заканчивают подпись B = тип t сигнала val y: t подпись C конца = сигнал включает конец B, Очевидно, это вызовет жалобы, что тип t происходит...
вопрос задан: 6 June 2010 00:17
2
ответа
GUI для стандартного ML?
Я начал изучать Стандартный ML недавно из любопытства. Таким образом, то, что я знаю, это, имеет эффективный компилятор (MLton), который позволяет нам свободно использовать абстракции, не вызывая беспокойство о производительности. Это...
вопрос задан: 11 October 2009 05:28
2
ответа
Каковы пределы вывода типа?
Каковы пределы вывода типа? Какие системы типов не имеют никакого общего алгоритма вывода?
вопрос задан: 9 August 2009 12:01
1
ответ
Как обновить значение записи в SML?
Я пишу программу SML для обновления записей в списке. Например, у меня есть тип person_name. type person_name = {fname: string, lname: string, mname: string} Тогда у меня есть person_bio, у которого есть person_name ...
вопрос задан: 24 March 2019 05:58
1
ответ
Как вставить список в другой список, не объединяя их
Например, скажем, у меня есть список [1,5,10], как бы я поместил его в пустой список, сделав его [[1,5,10]?
вопрос задан: 16 January 2019 05:49
1
ответ
Анонимная функция с приправой карри в SML
У меня есть функция ниже, и она работает: (fn x => x * 2) 2; но этот не работает: (fn x y => x + y) 2 3; кто-либо может сказать мне почему? Или дайте мне некоторую подсказку, чтобы заставить это работать?
вопрос задан: 21 May 2015 11:52
1
ответ
Комментарии строки в стандартном ML
Я изучаю ML с диалектом SML/NJ. То, что я пытаюсь выяснить, - то, если существует оператор комментария строки. Я нашел оператор комментария блока, (*... *), но я действительно пропускаю комментарии строки...
вопрос задан: 8 January 2010 18:42
1
ответ
Как 'зафиксировать' интерактивную систему SML/NJ для использования Клавиш со стрелками
Я испытываю некоторые затруднения с помощью интерактивной системы SML/NJ, а именно, что, когда я пытаюсь использовать свои клавиши со стрелками (любой левый или правый для создания исправления в выражении я ввел, для повторения последнего...
вопрос задан: 16 December 2009 02:18
1
ответ
Подавите “val это” произвел в Стандартном ML
Я пишу "сценарий" в Стандартном ML (SML/NJ), который настраивает интерактивную среду к моей симпатии. Последняя вещь, которую делает сценарий, распечатывают сообщение, указывающее на все, пошел гладко...
вопрос задан: 12 August 2009 18:08
1
ответ
Как Вы печатаете в операторе выбора в SML?
Я только начинаю с SML, и я пытаюсь изменить некоторый код, таким образом, я понимаю то, что он делает (я не могу найти достойный отладчик SML/NJ, но это - отдельный вопрос). забава type_check e ENV теты...
вопрос задан: 12 April 2009 20:28
0
ответов
Что не так с этой определенной функцией?
Кто-нибудь может помочь в этом? он отправляет сообщение об ошибке гипоэкспо (l1: реальное, l2: реальное) = let val u1 = равномерное (0.0,1.0) val u2 = равномерное (0.0,1.0) val l = l1 / (l2-l1), если u1 <0,5, то val h = ~ ln u2 / l1 иначе val h = ~ ln u2
вопрос задан: 16 April 2019 14:00
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
ответов
перехват исключений в ML
возможно ли в ML перехватить все возможные исключения? например, если я не знаю, какое исключение может быть
вопрос задан: 20 September 2014 13:03
0
ответов
что делает Cons в этой функции?
Я не понимаю, что делает функция Cons () в определении функции для from.
вопрос задан: 7 March 2014 19:15
0
ответов
Как отключить предупреждения SMLNJ?
Я пытаюсь написать сценарии командной строки, но предупреждения SML запутывают интерфейс. Документы говорят использовать: Compiler.Control.printWarnings: = false; Но с тех пор SMLNJ переименовал их в: Control ....
вопрос задан: 4 March 2014 22:10