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