OCaml

Това е реализация на езика ML, въз основа на диалекта Caml Light удължен с пълен клас, базирани обект система и мощен системен модул в стила на Standard ML.
Цел Caml се състои от две компилатори. Един генерира байткод който след това се тълкува от програма C.
Това компилатор работи бързо, е преносимо същество всеки 32 или 64-битова платформа Unix и генерира компактен код с умерени изисквания към паметта.
Извършване на генерираните програми е доста добър за bytecoded изпълнение.
Това компилатор може да се използва както като самостоятелна, партида ориентирани компилатор, който произвежда самостоятелни програми, или както е интерактивен, най-високо ниво-базирана система.
Другият компилатора генерира висока производителност родния код за редица
на преработвателите.
Компилация отнема повече време и генерира по-голям код, но генерираните програми осигуряват отлично представяне, при запазване на умерени изисквания за памет на байткод компилатора.
Цел Caml е най-популярният вариант на езика Caml.
От гледна точка на език, тя се простира на ядрото език Caml с пълноправна обектно-ориентиран слой, както и мощна система модул, всички свързани със звукозапис, полиморфен тип система с участието на тип извод.
Цел система Caml е изпълнение с индустриален капацитет на този език, отличаващ се с висока производителност родния код компилатор (ocamlopt) за 9 процесорни архитектури (ia32, PowerPC, AMD64, Alpha, Sparc, MIPS, IA64, HPPA, StrongArm), както и байткод компилатор (ocamlc) и интерактивно четене Оценка печат контур (OCaml) за бързо развитие и преносимост.
 Разпределението на Цел Caml включва всеобхватен стандарта библиотеката, повторение дебъгер (ocamldebug), lexer (ocamllex) и анализатор (ocamlyacc) генератори, предварително процесор доста-принтер (camlp4) и генератор документация (ocamldoc).

Какво ново в тази версия:

• Updated да Tcl / Tk 8.6.
• Отказ множество декларации за същия метод или променлива например в даден обект.
• Пропаганда информация за типа към модел за съпоставяне, дори и в присъствието на полиморфни варианти.

Какво ново във версия 4.02.1:

• Updated да Tcl / Tk 8.6.
• Отказ множество декларации за същия метод или променлива например в даден обект.
• Пропаганда информация за типа към модел за съпоставяне, дори и в присъствието на полиморфни варианти.

Какво ново във версия 3.12.1:

• Пъпки фиксиран:
• Неизползваните променливи не са открити в "включват (структура на .. край)"
• camlp4 преработен синтаксис печат бъг в най-високо ниво (докладвани на caml-списък)
• Configure: да не се определи _WIN32 под Cygwin
• закалена родово сравнение в случая, когато две поръчкови блокове са сравнени и имат различни набори от потребителски операции.
• закалена сравнение между bigarrays в случая, когато двете bigarrays имат различни видове.
• Фиксирана грешна autodetection на expm1 () и log1p ().
• Не добавяйте .exe наставка при инсталиране на скрипта ocamlmktop черупки
• ocamldoc: незначителни поправки, свързани с дисплея на опциите ocamldoc
• Фиксирана бъг с огромни стойности в OCAMLRUNPARAM
• Разминаване между декларация и дефиниция на caml_major_collection_slice
• Игрални пожелания:
• Публикувана "-ml-синоним" и "-mli-синонимни" опции, за да ocamldep
• Публикувана "-ocamldoc" опция, за да ocamlbuild
• Добавена възможност за добавяне на опции, за да ocamlbuild
• Добавена достъп до текущите camlp4 парсери и принтери
• Подобрена селекция инструкции за плувка операции на amd64
• Добавена на "usage_string" функция, за да Arg
• Позволи с ограничения, за да добавите тип уравнение за определение тип данни
• Оставя се да се слеят "before" тагове, като други такива
• Разрешаване на зависимостта от файл "_oasis"
• Други промени:
• Променен подразбиране незначително Размер на стек от 32k до 256k думи.
• Добавена е нова операция "compare_ext" по поръчка на клиента блокове, наречени когато се сравняват блок стойност обичай с Без Опаковка число.

Какво ново във версия 3.12.0:

• Запис на моделите на формата {LBL = потупване; _} За да отбележи, че не всички етикети са изброени, целенасочено.
• Предупреждения сега са номерирани и могат да бъдат включвани и изключвани индивидуално. Старата система с писма, отнасящи се до набора от предупреждения все още се поддържа.
• Добавена опция "-strict-последователност", за да принуди лявата част от последователност, за да имат тип единица.
• Карта:. приложат функции от Set, които имат смисъл за Map
• Добави подкрепа за родния dynlink.
• семантиката на предупреждение 7 (код "М", метод пренебрегване) са се променили (сега открива всички замени, а не само повтарят дефиниции във вътрешността на същия орган клас), и сега е неактивна по подразбиране.

Какво ново във версия 3.11.2:

• По-добра документация за мин и макс w.r.t. NaN
• ocamlbuild използва погрешно компилатор за C файлове
• ocamlbuild не използва правилно конфигурацията информация
• При някои инсталации на Windows, високи стартови времена за Unix либералните
• Проблем с scanf и CRLF
• ocamlmklib проблем под Windows
• BSD проблем с гнездо адреси, например в Unix.getnameinfo
• Issue с ​​разбор на плувка литерали от асемблер GNU
• Проблем с модули и частни видове

<> силни Изисквания

• GNU C компилатор - ССЗ