Результаты поиска по запросу "sml"
Каковы пределы вывода типа?
Каковы пределы вывода типа? Какие системы типов не имеют общего алгоритма вывода?
Привязка значения объекта в функции (замыкание)
В SML (функциональный язык программирования, который я выучил до Python) я могу сделать следующее:
что такое взаимно рекурсивный тип?
Если в ML, пример рекурсивного типа данных: datatype llist = Nil | Node of int * llistЧто такое взаимно рекурсивный тип данных и каков его пример в ML?
Если в SML.NET есть функторы, почему нельзя использовать F #?
Этот вопрос начался сМой перевод "ML для работающего программиста »(WorldCat) Л. С. ПОЛСОНА к F #, который использует функторы для примеров.Возможное же...
Как «исправить» интерактивную систему SML / NJ для использования клавиш со стрелками
У меня возникли некоторые проблемы с использованием интерактивной системы SML / NJ, а именно: когда я пытаюсь использовать клавиши со стрелками (влево или вправо, чтобы внести исправление в набранное выражение, вверх, чтобы повторить последнее ...
Итерация по нескольким спискам в SML
У меня есть два списка в SML, скажем, список A