Я никогда раньше не программировал на SML и использую SML / NJ. В конце каждой программы, которую я запускаю, он продолжает выдавать мне следующее: val it = () : unit Что это значит? Я что-то делаю не так?

Я все еще изучаю SML, поэтому прошу прощения, если это довольно глупый вопрос. Мне было интересно, есть ли лучший способ сопоставления с образцом для некоторых конструкций вне функций. Например, допустим, у нас есть тип type coord = int * int...

Я работаю над относительно большой кодовой базой SML. Первоначально он был написан для компиляции с помощью MLton, но сейчас я работаю с ним под SML/NJ. Мне нужно использовать RedBlackMapFn , который определен в smlnj-lib.cm . Однако я получаю...

Привет, я не буду делать функцию в стандартном ML, которая принимает в качестве входных чисел целые числа, разделенные пробелами во многих строках, и возвращает их список один за другим. Например, для входного файла 3 4 5 6 7 8 4 4 5 6 2 3 6 4 3...

Я пытаюсь использовать SML / NJ, и я использую sml < source.sml для запуска кода, но он выводит слишком много информации. Например, это source.sml : fun fac 0 = 1 | fac n = n * fac (n - 1) val r = fac 10 ; print(Int.toString(r));...

Есть ли способ получить список signature или structure , доступных в среде верхнего уровня, из SML/NJ REPL? Я хочу получить список подписей/структур, которые, по-видимому, определены в файлах sources.cm в исходном каталоге sml. Что-то в духе...

Я новичок в ML, поэтому я делаю все возможное, чтобы понять. Напишите функцию ML с именем alternate : 'a list -> 'a list , которая принимает два списка одинаковой длины в качестве входных данных и создает выходной список, элементы которого...

мой вопрос звучит так: как я могу определить функцию, которая получает функцию без использования ограничений типа или, другими словами, без необходимости вводить fun f1(f2:type->type)? Я пытаюсь придумать способ, который использует аргумент f2 как...

Я хотел бы знать, есть ли способ создать функцию, которая, учитывая список names / identifiers , например. [Monday, Tuesday, ...] автоматически создает datatype day = Monday | Tuesday | ... и следующую функцию, так что next Monday = Tuesday ,...

Здравствуйте, я новичок в Sml / nj, и я пытаюсь изменить ввод, чтобы передать его функции. Я застрял при изменении ввода. В частности, я читаю ввод и сохраняю его в списке. Я хочу создать функцию, которая с учетом списка четной длины создаст...