OCaml

Это осуществление ML языке, на основе диалекта Caml Light расширен с полным основе классов объектной системы и мощной системы модуля в стиле Standard ML.
Цель Caml включает два компилятора. Один байт-код генерирует который затем интерпретировать программа C.
Этот компилятор работает быстро, портативный, по существу, любой 32 или 64 битная платформа Unix и генерирует компактный код с умеренными требованиями к памяти.
Производительность генерируемых программ довольно хорошо для bytecoded реализации.
Этот компилятор может быть использован либо как самостоятельный, компилятор партии-ориентированный, который производит отдельные программы, или в качестве интерактивного интерпретатора, на основе системы.
Другой компилятор генерирует высокопроизводительный машинный код для ряда
процессоров.
Компиляция занимает больше времени и создает больше кода, но сгенерированные программы обеспечения превосходной производительности, сохраняя умеренные требования к памяти компилятором байт-кода.
Цель Caml является самым популярным вариант Caml языке.
С языка точки зрения, это расширяет ядро ​​языка Caml с полноценной объектно-ориентированного слоя, а также мощную систему модулей, которые связаны между собой звук, полиморфные системы типа участием вывод типа.
Объективный система КАМЛ реализация промышленного уровня этого языка, показывая высокую производительность компилятора родном кода (ocamlopt) для 9 процессорных архитектур (IA32, PowerPC, AMD64, альфа, Sparc, MIPS, IA64, HPPA, Strongarm), а также байт-код компилятора (ocamlc) и интерактивный чтения Eval-печати петля (OCaml) для быстрого развития и портативность.
 Объективный распределение Caml включает в себя полный стандартную библиотеку, переигровка отладчик (ocamldebug), лексического анализатора (ocamllex) и анализатор (ocamlyacc) генераторы, предварительно процессор довольно-принтер (camlp4) и генератор документации (ocamldoc).

Что нового В этом выпуске:

• Обновлен Tcl / Tk 8.6.
• Отклонить несколько объявлений одного и того же метода или переменной экземпляра в объекте.
• Распространить информацию о типе к сопоставления с образцом, даже в присутствии полиморфных вариантов.

Что нового в версии 4.02.1:

• Обновлен Tcl / Tk 8.6.
• Отклонить несколько объявлений одного и того же метода или переменной экземпляра в объекте.
• Распространить информацию о типе к сопоставления с образцом, даже в присутствии полиморфных вариантов.

Что нового в версии 3.12.1:

• Почки исправлено:
• Неиспользуемые переменные не обнаруженные в "включают в себя (структура .. конец)"
• camlp4 пересмотрены печати синтаксис ошибка в корневой (сообщил о КАМЛ-лист)
• Настройка: не определить _WIN32 под Cygwin
• закаленной общее сравнение в случае, когда два пользовательских блоков по сравнению и имеют разные наборы пользовательских операций.
• закаленной сравнение bigarrays в том случае, когда два bigarrays иметь различные виды.
• Исправлена ​​неправильная автоопределение expm1 () и log1p ().
• Не добавлять .exe-суффикс при установке скрипта ocamlmktop оболочки
• ocamldoc: мелкие исправления, связанные с отображением вариантов ocamldoc
• Исправлена ​​ошибка с огромными значениями в OCAMLRUNPARAM
• Несоответствие между декларацией и определением caml_major_collection_slice
• Feature пожелания:
• Добавлена ​​'-ML-синоним' и '-mli-синоним' варианты ocamldep
• Добавлена ​​'-ocamldoc "вариант ocamlbuild
• Добавлена ​​возможность добавлять варианты ocamlbuild
• Добавлена ​​доступ к текущим анализаторов camlp4 и принтеров
• Улучшена выбор инструкция по флоат операций на amd64
• Добавлена ​​функция "usage_string ', чтобы Arg
• Разрешить с ограничениями, чтобы добавить уравнение типа для определения типа данных в
• Разрешить объединить "Before" теги, как остальных
• Разрешить зависимость от файла "_oasis"
• Другие изменения:
• Изменено значение по умолчанию незначительные размер кучи от 32k до 256k слов.
• Добавлена ​​новая операция «compare_ext" пользовательских блоков, называемых при сравнении показателя блока пользовательского с без коробки целое.

Что нового в версии 3.12.0:

• Запись структуры вида {LBL = погладить; _}, Чтобы отметить, что не все метки в списке, целенаправленно.
• Предупреждения теперь пронумерованы и могут быть включается и выключается отдельно. Старая система с письмами, относящихся к наборов предупреждений по-прежнему поддерживается.
• Добавлена ​​опция "-strict последовательности", чтобы заставить левой части последовательности имеют тип блока.
• Карта:. реализовать функции из множества, которые имеют смысл для Карта
• Добавлена ​​поддержка для нативного dynlink.
• Семантика предупреждение 7 (код 'M', метод переопределения) изменились (теперь обнаруживает все переопределения, а не только повторные описаний внутри же теле класса), и в настоящее время неактивен по умолчанию.

Что нового в версии 3.11.2:

• Лучше документация для мин и макс w.r.t. NaN
• ocamlbuild использует неправильный компилятор C для файлов
• Конфигурация ocamlbuild не правильно использовать информацию
• В некоторых установках Windows, высокие пусковые раз для Unix Lib
• Проблема с зсапЕ и CRLF
• Проблема ocamlmklib под Windows,
• BSD проблема с гнезда адресов, например в Unix.getnameinfo
• Проблема с разбора с плавающей точкой литералах по ассемблера GNU
• Проблема с модулями и частных типов

Требования

• GNU C компилятор - GCC