4
ответа
Использование ML в “реальных” приложениях
Мне действительно понравилось изучать ML в колледже. Я часто нахожу функциональное программирование освежающе изящным способом записать определенные алгоритмы. Я услышал о F# и играл вокруг с этим немного. Однако, я имею...
вопрос задан: 26 June 2009 12:41
2
ответа
SML более короткий синтаксис базового регистра для моей функции
Какой будет более короткий синтаксис для этой функции? Я заметил, что многие программисты используют каналы в своих функциях, но я застрял, пытаясь понять, как я могу сделать то же самое для этого. веселье ...
вопрос задан: 18 January 2019 04:50
2
ответа
Есть ли в SMLNJ какой-либо отладчик?
Я просмотрел руководство пользователя SMLNJ и не могу найти ничего о возможностях отладки. Я хотел бы просто увидеть трассировку стека или пройтись по функции. Это возможно. Есть ли другие ...
вопрос задан: 18 April 2009 22:29
1
ответ
Как обновить значение записи в SML?
Я пишу программу SML для обновления записей в списке. Например, у меня есть тип person_name. type person_name = {fname: string, lname: string, mname: string} Тогда у меня есть person_bio, у которого есть person_name ...
вопрос задан: 24 March 2019 05:58
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
ответов
перехват исключений в ML
возможно ли в ML перехватить все возможные исключения? например, если я не знаю, какое исключение может быть
вопрос задан: 20 September 2014 13:03
0
ответов
Как отключить предупреждения SMLNJ?
Я пытаюсь написать сценарии командной строки, но предупреждения SML запутывают интерфейс. Документы говорят использовать: Compiler.Control.printWarnings: = false; Но с тех пор SMLNJ переименовал их в: Control ....
вопрос задан: 4 March 2014 22:10
0
ответов
вложенные локальные объявления в ML из Нью-Джерси
привет всем, у меня есть этот фрагмент кода: local helper (f, i, j) = local fun NTimesF (f, n: int) = if n = 1 then fn (x) => f (x) ...
вопрос задан: 20 February 2014 16:10
0
ответов
Сайты, богатые упражнениями или объяснениями для SML? [закрыто]
Я знаю, что мне нужно пройти через Google для поиска и т.д., я сделал, но они не предлагают то, что мне нужно, 90% этих сайтов приводят тот же пример и даже иногда то же самое объяснение, если есть кто-то, кто ...
вопрос задан: 14 August 2013 14:04
0
ответов
Как написать взаимно рекурсивные функции внутри привязки let в SML?
Я хотел бы сделать что-то вроде этого: fun f () = let fun a() = b() и fun b() = a() in () end, где a и b — разумные взаимно рекурсивные функции. Однако...
вопрос задан: 17 April 2012 22:21
0
ответов
Функция, которая применяет свой аргумент к себе?
Рассмотрим следующую функцию SML: fn x => xx Это приводит к следующей ошибке (Standard ML of New Jersey v110.72): stdIn: 1.9-1.12 Ошибка: оператор не функция [круговой] оператор: ...
вопрос задан: 6 February 2012 15:29
0
ответов
Приведение типов в SML
Я новичок в SML и использую диалект SMLNJ. Для какой-то цели я пытался привести тип 3 к 3.0 (int в real). Выхода не нашел. Как я могу это сделать? Как я могу преобразовывать типы?
вопрос задан: 24 January 2012 01:29
0
ответов
Как мне засечь время для sml-кода?
Может ли кто-нибудь сказать мне, как я могу засечь время для sml-кода? Я реализовал несколько различных версий одного и того же алгоритма и хотел бы засечь их время и, возможно, даже узнать расход памяти?
вопрос задан: 1 December 2011 10:59
0
ответов
Как преобразовать отрицательные целые числа в строки в SML со знаком минус вместо тильды?
Стандартная функция библиотеки SML Int. toString добавляет к отрицательным числам префикс ~ вместо -. Есть ли библиотечная функция, которую можно использовать - вместо того, чтобы писать fun i2s i = if i <0 then "-" ^ ...
вопрос задан: 19 November 2011 07:09
0
ответов
Вывод усечен с помощью # -знаков в REPL
Я написал функцию, которая работает, как ожидалось, но я не понимаю, почему вывод такой. Функция: datatype prop = Атом строки | Не реквизит | И опоры * prop | Или prop * prop; (* XOR = ...
вопрос задан: 25 May 2011 20:42
0
ответов
Проблема с запуском smlnj под OSX 10.6
Я загрузил и установил реализацию SML NJ с помощью DMG для x86 отсюда:
http://smlnj.cs.uchicago.edu/dist/working/110.72/index.html Однако, когда я открываю окно терминала и перехожу в /usr/...
вопрос задан: 22 March 2011 14:40
0
ответов
использовать операцию в sml (где находится текущий каталог smlnj windows)
Я никогда не использовал SML на машине Windows (раньше использовал unix машина с emacs). хоть убей, я не могу найти текущий каталог в среде sml. Если я попытаюсь: использовать "...
вопрос задан: 18 March 2011 03:57
0
ответов
Увеличение глубины печати в SML / NJ
Я пытаюсь заставить SML / NJ распечатать результат на верхнем уровне без
повсюду поставить знак #. Согласно некоторым старым документам (и сообщению в этой группе новостей от 2001 г.)
должно быть возможно использовать ...
вопрос задан: 22 February 2011 00:19
0
ответов
SML-NJ, how to compile standalone executable
I start to learn Standard ML, and now I try to use Standard ML of New Jersey compiler. Now I can use interactive loop, but how I can compile source file to standalone executable? In C, for example, ...
вопрос задан: 19 February 2011 19:55
0
ответов
Как принудительно объединить общего предка в git слиянии?
Допустим, у меня есть ветка с именем master и ветка с именем upstream_lib. У мастера ветки есть подкаталог lib, основанный на коде ветки upstream_lib; изменения в upstream_lib ...
вопрос задан: 12 January 2011 11:29
0
ответов
как проверить, является ли тип ввода радио с помощью jquery
Я хочу обрабатывать элементы html по-разному в зависимости от их типа. Как с помощью jquery проверить, является ли тип ввода переключателем? Я пробовал: if ($ ('# myElement'). Is (': radio')) {.... // ...
вопрос задан: 16 December 2010 18:13
0
ответов
предупреждение в ML
может кто-нибудь объяснить, что означает это предупреждение? stdIn: 18.35 Предупреждение: вызов polyEqual и почему у меня есть "a, а не 'a в следующем утверждении: val ужеVisited = fn:' 'a *' 'a ...
вопрос задан: 1 December 2010 09:00