Достъпен е езикът за програмиране OCaml 5.4.0

Публикувана е версия 5.4.0 на езика за програмиране OCaml, промишлен функционален език за програмиране с акцент върху изразителността и безопасността на разработваното софтуерно осигуряване. В OCaml хармонично се съчетават функционално ядро, императивни възможности, напреднала обектно-ориентирана система и уникална модулна система. Кодът на инструмента за OCaml се разпространява под лицензия LGPL.

OCaml се откроява сред множеството програмни езици със своята универсалност и практичност, което го прави добър избор за разработка на сложни системи. Основните характеристики на OCaml включват автоматично управление на паметта, функции от първи клас, статична типизация, полиморфизъм, поддръжка на неизменяеми структури от данни, автоматично извеждане на типове и мощни алгебрични типове данни с шаблонно съвпадение, и много други.

Основни промени и подобрения в OCaml 5.4.0:

• Именувани кортежи (Labelled tuples), позволяващи задаване на имена на членовете на кортежа и последващо използване на тези имена за достъп до тях. let point = ~x:1, ~y:2 (* val point : x:int * y:int = (~x:1, ~y:2) *) let ( * ) (x,~dx) (y, ~dx:dy) = x*.y, ~dx:(x *. dy +. y *. dx ) (* val ( * ) : float * dx:float -> float * dx:float -> float * dx:float *) let mult_dx x y = let ~dx, .. = x * y in dx
• Неизменяеми масиви и единен синтаксис за «_ array», «_ iarray» и «floatarray». [|1; 2; 3|] ([|1; 2; 3|] : _ iarray) ([|1.; 2.; 3.|] : floatarray)
• Вграден атрибут «atomic» за полета в записи, който изисква използването на атомарни операции за работа с него. type ‘a mpsc_list = { mutable head:’a list; mutable tail: ‘a list [@atomic] } let rec push t x = let before = Atomic.Loc.get [%atomic.loc t.tail] in let after = x :: before in if not (Atomic.Loc.compare_and_set [%atomic.loc t.tail] before after) then push t x …
• Нови модули в стандартната библиотека: Pair, Pqueue, Repr, Iarray.
  • Модул Pair за работа с двойки; let ones = Pair.map_fst succ (0,1)
  • Модул Pqueue — опашка с приоритет; module Int_pqueue = Pqueue.MakeMin(Int) let q = Int_pqueue.of_list [4;0;5;7] let some_zero = Int_pqueue.pop_min q
  • Модул Repr съдържа физическо и структурно равенство, функция за сравнение; let f = Repr.phys_equal (ref 0) (ref 0)
  • Модул Iarray за работа с неизменяеми масиви; let a = Iarray.init 10 Fun.id let b = Iarray.map succ a
• Възстановен е режимът „очистване на паметта при изход“. Този режим позволява многократно стартиране на OCaml средата за изпълнение в C програми, които използват OCaml библиотеки. Той е полезен и за намаляване на шума при проследяване на течове на памет в C код, изпълняван в OCaml среда. За да се избегнат проблеми с „отмяна“, всичко домейни се обединява преди изхода от OCaml средата за изпълнение.
• Нов раздел в документацията за профилиране на OCaml програми в среда Linux и MacOS.
• Множество подобрения на средата за изпълнение, генерирането на код, около тридесет нови функции в стандартната библиотека, почти дузина подобрени съобщения за грешки, повече от петдесет корекции на грешки.

Източник: opennet.ru