Что не так с моим кодом в sml?

Я не знаю, почему мой код не работает.

Функциональная ширина Первый поиск

Функциональная глубина первого поиска хороша в ориентированных ациклических графах.В графах с циклами, однако, как мы можем избежать бесконечной рекурсии? На...

Как сделать побитовое И в SML / NJ?

Это нужно для программы, которую я пишу (повторное возведение в квадрат для вычисления x ^ n). Я не могу найти синтаксис для него, или если он даже поддержив...

Несколько паттернов в 1 случае

Тип переменной, которая будет объединена, встречается в типе

SML Как проверить тип переменной?

Есть ли способ проверить / проверить тип переменной?Я хочу использовать это так:

Подсказка для вывода типа SML

Я новичок в SML и пытаюсь попрактиковаться в справочнике типов SML. Я пытаюсь вычесть следующие типы:

Как решить, следует ли параметризовать на уровне типов или на уровне модулей при разработке модулей?

Помогите sml - проблемный

Как объявить функцию так, Listn: '' список -> '' список -> bool, listn xs и ys возвращают true.Пример: lisen [# "1" # "2...

Разница между «местным» и «пусть» в SML