Как установить рабочую версию Standard ML на Mac?

Я использую Mac OSX 10.7.5 и не могу загрузить работающий компилятор Standard ML с доступным REPL. Это должно быть так сложно? Есть ли лучший ML, который я должен скачать. Я пробовал SML / NJ и MLton безрезультатно.

Как установить рабочую версию Standard ML на Mac?

я использую Mac OSX 10.7.5 и могуКажется, не получается загрузить работающий компилятор Standard ML с доступным REPL. Это должно быть так сложно? Есть ли луч...

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

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

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

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

Этот вопрос начался с Мой перевод "ML для работающего программиста [http://www.cl.cam.ac.uk/~lp15/MLbook/]"(WorldCat [http://www.worldcat.org/oclc/26013714]) Л. С. ПОЛСОНА к F #, который использует функторы для примеров.Конечное желание ...

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

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

Предупреждение 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: Тип Vars не обобщен при использовании пустых списков или опции NONE

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

Почему следующий код не работает? fun sum_list xs = case xs of [] => NONE | x::xs' => SOME (x+sum_list xs')Этот код хорошо работает, когда вместо NONE он равен нулю и когда я удаляю НЕКОТОРЫЕ. Я знаю, что для суммы пустого списка ноль - это ...

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

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