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

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

 Он отлично работает для меня.

И это ваш окончательный результат.

я работаю над финалом практики, есть проблема, попросите меня нарисовать дерево разбора для этого кода sml:

Сделаю.

исал функцию, которая работает, как ожидалось, но я не понимаю, почему вывод такой. Функция:datatype prop = Atom of string | Not of prop | And of prop*prop | Or of prop*prop; (* XOR = (A And Not B) OR (Not A Or B) *) local fun ...

"), и порядок (сопоставление сверху вниз) может иметь значение, если шаблоны перекрываются (чего нет в любом из вышеперечисленных)

ужно использовать методы сопоставления с образцом, чтобы рекурсивно поменять местами каждую пару элементов в списке. Так,[1, 2, 3, 4, 5] вернется[2, 1, 4, 3, 5]. Я нашел две вещи: List.length: чтобы вернуть длину. Что полезно для работы с ...

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

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

А вот и другое:

вления функцияexpand который получает список любого типа и целое числоnи возвращает список, в котором реплицируется каждый элемент списка вводаn раз. Например, расширение [1,2,3] 3 должно быть оценено как [1,1,1,2,2,2,3,3,3]. Тип функции должен ...

Спасибо, я не знал, могли бы вы использовать блоки и typedef как этот. Сначала я попробую последний способ и, если необходимо, поработаю с шаблоном для последующих элементов.

для моделирования ленивого программирования возможно следующее: // Have a datatype to wrap a computation datatype 'a susp = Susp of (unit -> 'a) // A function to hold the computation fun delay(f ) = Susp(f)Я знаю, что замыкания могут быть ...

Заявления случая и сопоставление с образцом

Я пишу в SML для выполнения задания, выполнил несколько практических задач и чувствую, что что-то упустил - мне кажется, что я использую слишком многоcase заявления. Вот то, что я делаю, и постановки проблем, с которыми у меня возникают ...

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

У меня есть два списка в SML, скажем, список A[(a,b,c),(d,e,f)] и список Б[b,e], Я хочу посчитать, сколько вхождений каждого элемента в B соответствует второму элементу каждой тройки в A. На выходе должно быть 2. Потому чтоb а такжеe ...