Результаты поиска по запросу "ocaml"
Привязки llvm OCaml
Я работаю над привязками llvm OCaml. Я установил пакет llvm через ОПАМ (opam install llvm), когда я использую llvm в Utop, я получаю следующую ошибку: #require "llvm";; Error: The external function 'llvm_global_succ' is not available.Версия ...
Об алгоритме сопоставления с образцом в OCaml
Я пишу компилятор для функционального языка, который я разработал с помощью OCaml. Я хочу, чтобы мой маленький язык имел функцию сопоставления с образцом, однако я застрял в разработке алгоритма для его реализации. Это кажется действительно ...
Что такое основной тип?
Компилятор OCaml имеет "-принцип" вариант и термин «основной тип» иногда упоминается в списке рассылки. Что именно это значит? Определение в Википедии являет...
Почему в OCaml std lib так много не хвостовых рекурсивных функций?
Я переписывал многие стандартные библиотечные функции OCaml, чтобы в последнее время использовать хвостовую рекурсию. Учитывая, что это повлекло за собой пря...
Используя динамическое программирование в Haskell? [Предупреждение: решение ProjectEuler 31 внутри]
В решении projecteuler.net 'проблема № 31 [СПОЙЛЕРЫ ВПЕРЕДИ] (считая количество способов заработать 2 £ с британскими монетами), я хотел использоват...
Как получить информацию о типе в интерактивном Ocaml?
Я использую Ocaml версии 4. Когда я в интерактивном режиме определяю некоторый тип, интерпретатор выводит строковое представление типа сразу после этого:
Простой неоптимальный unionfind в OCaml
Я написал программу OCaml для
Странная проблема с загрузкой модуля в OCaml
У меня есть два файла: