Вышел OCaml 4
Выпущена новая мажорная версия языка программирования OCaml — современного объектно-ориентированного языка функционального программирования общего назначения.
Произошедшие изменения в языке:
- обобщенные алгебраические типы данных — мощное расширение системы типов;
- новый усовершенствованный ARM бекенд;
- изменения в модулях: аннотации типов теперь могут быть пропущены при упаковке и распаковке модулей, кроме того они могут быть распакованы при паттерн-матчинге;
- поддержка рандомизированных хеш-таблиц для устранения уязвимостей, связанных с DoS (denial of service);
- установка внутренних библиотек компилятора производится в +compiler-libs для легкого доступа сторонними утилитами.
Подробный Changelog
