Итерация по нескольким спискам в SML

У меня есть два списка в SML, скажем, список A

Что означает подпись этой функции в sml?

Я просматриваю некоторые заметки, которые дал мой профессор относительно языка SML, и одна из функций выглядит следующим образом:

что такое взаимно рекурсивный тип?

Хвост-рекурсия по деревьям

Какие есть варианты SOME и NONE в SML?

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

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

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

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

Sml складывание дерева

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

В общем, руководство пользователя содержит несколько хороших примеров и объяснений.

ужно создать новый экземплярlexer привязан к стандартному потоку ввода. Тем не менее, когда я набираю val lexer = makeLexer( fn n => inputLine( stdIn ) );Я получаю ошибку, которую не понимаю: stdIn:1.5-11.13 Error: operator and operand don't ...