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

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

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

Предупреждение SML: Тип Vars не обобщен при использовании пустых списков или опции NONE

Я не могу понять, почему следующая функция SML выдает предупреждение в моей задаче: fun my_func f ls = case ls of [] => raise MyException | head :: rest => case f head of SOME v => v | NONE => my_func f rest fun f a = if isSome a then a ...

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

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

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

Я просматриваю некоторые заметки, которые дал мой профессор относительно языка SML, и одна из функций выглядит следующим образом: fun max gt = let fun lp curr [] = curr | lp curr (a::l) = if gt(a,curr) then lp a l else lp curr l in lp endМожет ...

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

Если в ML, пример рекурсивного типа данных: datatype llist = Nil | Node of int * llistЧто такое взаимно рекурсивный тип данных и каков его пример в ML?

SML не обнаруживает ОС на OS X Mavericks

Я не смог запустить SMLNJ на Mavericks. Это показывает мне ошибку.

SML Как определить правильный вариант

Почему нетт следующий код нет работаешь?

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

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