По сути, я хочу иметь функцию для возврата полиморфной функции, что-то вроде этого: fun foo () = fn...

Мне нужно написать код на ML, и я впервые использую этот язык. Есть ли среда разработки для...

Я изучаю ML, используя диалект SML / NJ. Я пытаюсь понять, есть ли оператор комментария к строке. Я...

У меня возникли некоторые проблемы с использованием интерактивной системы SML / NJ, а именно: когда...

У меня возникли проблемы с одной частью функции. Моей функции нужна строка ввода не менее 3...

Я пытался сделать хвостовую рекурсивную версию этой очень простой функции SML: fun suffixes [] =...

Можно ли написать функции с динамически типизированными входными параметрами? Я пробовал...

Я начал изучать Стандартные ML недавно из любопытства. Так что я знаю, что у него есть эффективный...

Каковы пределы вывода типа? Какие системы типов не имеют общего алгоритма вывода?

Существует ли эквивалент Java BigInt для Standard ML? Обычный тип int генерирует исключение при...

Идея состоит в том, чтобы пройтись по нескольким измерениям, каждое из которых определено как...

Мне очень понравилось изучать ML в колледже. Я нахожу функциональное программирование часто...

В ML я хочу получить простые делители числа. Как я могу это сделать, я новичок.

Это не домашняя работа. Я изучаю Стандарт ML самостоятельно. Я тоже немного знаю Схему, поэтому...

Я очень новичок в SNL / NJ, и мне было интересно, как я могу сделать следующее: foo(stuff,counter)...

После выполнения команды в SML возвращается «оно», в котором содержатся данные и тип, возвращаемый...

Я получаю то, что кажется проблемой приоритета при вызове функции SML, замените: fun substitute v...

Я создаю структуру Rationals (int * int), и одна из моих функций: fun diff ((n, d), (n',...

Я только начинаю с SML и пытаюсь изменить какой-то код, чтобы понять, что он делает (я не могу...

Я новичок в Standard ML и пытаюсь разобраться в среде выполнения SML / NJ. Я хочу адаптировать его...

Есть ли способ напечатать полиморфные значения в Standard ML (особенно SML / NJ)? У меня есть...

Я пытаюсь сравнить файлы в каталоге, используя SML. Использовать библиотеку TextIO довольно просто,...

Я пытался объяснить разницу между операторами switch и сопоставлением с образцом (F #) нескольким...

Я вижу, что SML / NJ включает структуру очереди. Я не могу понять, как его использовать. Как...

У меня есть две функции, f и g, которые рекурсивно вызывают друг друга. К сожалению, когда f...