В чисто функциональных языках есть ли алгоритм для получения обратной функции?

В чистых функциональных языках, таких как Haskell, существует ли алгоритм для получения обратной функции (edit), когда она является биективной? И есть ли кон...

Используя динамическое программирование в Haskell? [Предупреждение: решение ProjectEuler 31 внутри]

В решении projecteuler.net 'проблема № 31 [СПОЙЛЕРЫ ВПЕРЕДИ] (считая количество способов заработать 2 £ с британскими монетами), я хотел использоват...

подробная ошибка с ocamlyacc

Генерация кода сценария оболочки CLI из скомпилированного исполняемого файла? [закрыто]

Имеет ли! = Значение в OCaml?

Как получить информацию о типе в интерактивном Ocaml?

Я использую Ocaml версии 4. Когда я в интерактивном режиме определяю некоторый тип, интерпретатор выводит строковое представление типа сразу после этого:

Правильный способ использования структуры данных в OCaml

Хорошо, я написал

N-арные кортежи против пар

В Ocaml кортежи с разными арностями имеют конструкторы разных типов и значений:

Какова наиболее эффективная реализация массивов с функциональными обновлениями?

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

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

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