Результаты поиска по запросу "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 для работающего программиста [http://www.cl.cam.ac.uk/~lp15/MLbook/]"(WorldCat [http://www.worldcat.org/oclc/26013714]) Л. С. ПОЛСОНА к F #, который использует функторы для примеров.Конечное желание ...
что такое взаимно рекурсивный тип?
Если в ML, пример рекурсивного типа данных: datatype llist = Nil | Node of int * llistЧто такое взаимно рекурсивный тип данных и каков его пример в ML?