Результаты поиска по запросу "sml"
Заявления случая и сопоставление с образцом
Я пишу в SML для выполнения задания, выполнил несколько практических задач и чувствую, что что-то упустил - мне кажется, что я использую слишком многоcase заявления. Вот то, что я делаю, и постановки проблем, с которыми у меня возникают ...
Спасибо, я не знал, могли бы вы использовать блоки и typedef как этот. Сначала я попробую последний способ и, если необходимо, поработаю с шаблоном для последующих элементов.
для моделирования ленивого программирования возможно следующее: // Have a datatype to wrap a computation datatype 'a susp = Susp of (unit -> 'a) // A function to hold the computation fun delay(f ) = Susp(f)Я знаю, что замыкания могут быть ...
В общем, руководство пользователя содержит несколько хороших примеров и объяснений.
ужно создать новый экземплярlexer привязан к стандартному потоку ввода. Тем не менее, когда я набираю val lexer = makeLexer( fn n => inputLine( stdIn ) );Я получаю ошибку, которую не понимаю: stdIn:1.5-11.13 Error: operator and operand don't ...
Сделаю.
исал функцию, которая работает, как ожидалось, но я не понимаю, почему вывод такой. Функция:datatype prop = Atom of string | Not of prop | And of prop*prop | Or of prop*prop; (* XOR = (A And Not B) OR (Not A Or B) *) local fun ...
Помогите sml - проблемный
Как объявить функцию так, Listn: '' список -> '' список -> bool, listn xs и ys возвращают true.Пример: lisen [# "1" # "2...
SML Как проверить тип переменной?
Есть ли способ проверить / проверить тип переменной?Я хочу использовать это так:
Как «исправить» интерактивную систему SML / NJ для использования клавиш со стрелками
У меня возникли некоторые проблемы с использованием интерактивной системы SML / NJ, а именно: когда я пытаюсь использовать клавиши со стрелками (влево или вправо, чтобы внести исправление в набранное выражение, вверх, чтобы повторить последнее ...
Подавить вывод «val it» в стандарте ML
я пишу "сценарий» в стандарте ML (SML / NJ), который настраивает интерактивную среду по своему вкусу. Последнее, что делает скрипт, это распечатывает со...