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

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

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

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

Если в SML.NET есть функторы, почему нельзя использовать F #?

Этот вопрос начался сМой перевод "ML для работающего программиста »(WorldCat) Л. С. ПОЛСОНА к F #, который использует функторы для примеров.Возможное же...

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

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

Спасибо, я не знал, могли бы вы использовать блоки и 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)Я знаю, что замыкания могут быть ...

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

Частичная сумма в стандарте ML?

Я новичок в функциональном программировании, и у меня есть задание для вычисления частичной суммы списка. Например. - псум [1,1,1,1,1]; val it = [1,2,3,4,5]: int list Вот мой код до сих пор. Однако в функции psum2 [L] я не знаю, как ...

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

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

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

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

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