smlnj

2зной

1ответ

Я написал код sml со всеми базовыми случаями, о которых я могу думать, однако я все еще получаю это предупреждение. Таким образом, функция проверяет, является ли первый список перестановкой второго сп

1зной

2ответ

Подпись функций более высокого порядка в SML

Я пытался понять функции более высокого порядка в SML. Я знаю, как писать простые функции более высокого порядка, а также понимать подпись. Одним из примеров является: fun increment list = map (fn x=>

5зной

1ответ

Устранение конфликтов имени модуля, необходимо получить подпись ORD_MAP

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

0зной

1ответ

2D Binary Tree в SML

Я трудное время выяснить, как реализовать 2d бинарного дерева с использованием SML Это то, что я до сих пор, но я получаю несоответствие tycon. datatype btree = Empty | Node of int * b

0зной

2ответ

Различие между атомом и списком в SML

Я новичок в программировании SML, и у меня возникла проблема с созданием функции для удаления вхождений атома A из списка целых чисел. Этот список может быть вложен в любые уровни, означает, что у нас

0зной

1ответ

SML - Объединить два списка

У меня вопрос: я знаю, что объединить два списка в SML, но я не могу выполнить общее количество элементов первого списка, а второй список меньше n, добавьте их полностью и верните в результате список

1зной

1ответ

NLFFI: DynLinkage.open_lib повышает DynLinkError

Я изучаю NLFFI (No Longer Foreign Function Interface), его реализацию в SML/NJ. Пример «математика» работает, но «PDB» выдает ошибку: FFI/pdb.cm:53.5-53.21 Error: link-time exception in user program (