LINUX.ORG.RU

Objective Caml 3.08 has been released


0

0

Ура!!!

Вот некоторые изменения:

Both compilers:
- More compact compilation of classes.
- Much more efficient handling of class definitions inside functors
or local modules.
- Simpler representation for method tables. Objects can now be marshaled between identical programs with the flag Marshal.Closures.
- Improved error messages for objects and variants.
- Improved printing of inferred module signatures (toplevel and ocamlc -i).
Recursion between type, class, class type and module definitions is now correctly printed.
- The -pack option now accepts compiled interfaces (.cmi files) in addition to compiled implementations (.cmo or .cmx).
* A compile-time error is signaled if an integer literal exceeds the
range of representable integers.
- Fixed code generation error for "module rec" definitions.
- The combination of options -c -o sets the name of the generated
.cmi / .cmo / .cmx files.

Bytecode compiler:
- Option -output-obj is now compatible with Dynlink and
with embedded toplevels.

Native-code compiler:
- Division and modulus by zero correctly raise exception Division_by_zero
(instead of causing a hardware trap).
- Improved compilation time for the register allocation phase.
- The float constant -0.0 was incorrectly treated as +0.0 on some processors.
- AMD64: fixed bugs in asm glue code for GC invocation and exception raising
from C.
- IA64: fixed incorrect code generated for "expr mod 1".
- PowerPC: minor performance tweaks for the G4 and G5 processors.

Ports:
- Windows ports: many improvements in the OCamlWin toplevel application (history, save inputs to file, etc). Contributed by Christopher A. Watford.
- Native-code compilation supported for HPPA/Linux. Contributed by Guy Martin.
- Removed support for MacOS9. Mac OS 9 is obsolete and the port was not updated since 3.05.
- Removed ocamlopt support for HPPA/Nextstep and Power/AIX.

and a lot of other features ;)

>>> Подробности



Проверено: Demetrio ()

> The float constant -0.0 was incorrectly treated as +0.0 on some processors.

не знаю, что там в caml, но мне никогда не приходилось различать -0 и +0

anonymous
()
Ответ на: комментарий от anonymous

> но мне никогда не приходилось различать -0 и +0

Обрати внимание: не просто 0, а 0.0. В сях точно различие есть:

$ cat "main() { printf("%g %g", 1.0/+0.0, 1.0/-0.0); }" > div.c
$ gcc div.c -o div && ./div
1.#INF -1.#INF

int19h ★★★★
()
Ответ на: комментарий от anonymous

А местами даже на си и ассемблере :)

anonymous
()
Ответ на: комментарий от anonymous

Вот ocaml назвать академическим трудно. Он достаточно "нечистый" с академической точки зрения.

anonymous
()
Ответ на: комментарий от anonymous

функциональный язык с удобной возможностью писать "в стиле" императивных языков. :D

derevo
()
Ответ на: комментарий от Cantor

ну да, неправильно выразился, просто пока его пишут "просто так", популярным он не станет.. питон, пхп, руби - о них по крайней мере слышно, компании создают, маркетинг там, книги, статьи и так далее. а кто знает что такое окамл и им пользуется? правильно, в институтах всяких..

anonymous
()
Ответ на: комментарий от anonymous

Ну почему просто так? Язык создан для вполне конкретных задач. Другое дело, что INRIA достаточно индиффирентна к использованию OCaml вне своих задач, так что...

svr69 ★★
()

Мало билиотек на нём полезных написано. Вот лишь недавно появилась
библиотека caml-template. То есть, сейчас только-только можно начинать
писать что-то более-менее серьёзное.

anonymous
()
Ответ на: комментарий от anonymous

Вы, натурально, не понимаете. Товарисч полагает, что серьезный и солидный язык просто должен иметь свой язык уеб-темплейтов, иначе он и упоминания не достоин.

anonymous
()

Да, это вам не ПХП! Функциональное программирование рулит:)

anonymous
()
Ответ на: комментарий от anonymous

> серьезный и солидный язык просто должен иметь свой язык уеб-темплейтов

Не должен, но это показатель его использования в реальных проектах ;)

anonymous
()
Ответ на: комментарий от anonymous

> А MLDonkey нереальный проект что ли???

А ты еще один назови. Нет, я за O'Caml всеми фибрами души - однако реальность такова что кроме MLDonkey можно назвать еще глюканат Cameleon и....все.

r ★★★★★
()

Ну, вот, к примеру, может кто-нибудь дать ссылку на солидный веб-портал,
написанный на ocaml? Ну, ладно, пусть даже на не солидный ;) Я где-то
видел даже писанный на tcl, а вот ocaml в коллекции нету ;-(

anonymous
()
Ответ на: комментарий от anonymous

Да чо там bash, на awk'e есть! А где ocaml???

anonymous
()
Ответ на: комментарий от anonymous

Блин, наличие веб-портала, да и вообще востребованность в веб-программировании - не показатель применимости, солидности, весомости и т.д. языка. Что до веб-программирования и OCaml, можешь, кстати, wdialog посмотреть - оно всяко поинтереснее, чем velocity-подобные темплейты.

anonymous
()
Ответ на: комментарий от anonymous

> не показатель применимости, солидности, весомости

Как на счёт "показатель постребованности"? ;) Веб - это на данный момент
главнейшая коммуникационная артерия. Хотите вы этого или нет - она вас
не спрашивает ;) Дык вот, если некий инструмент не задействуется в
в этой артерии, то биржевая цена на него сразу падает на порядки
относительно конкурентов ;)

anonymous
()
Ответ на: комментарий от anonymous

В догонку. К примеру, если убрать веб как фактор, то цена php упадёт
в минус. Он вообще больше ни для чего не нужен ;) Мысль понятна?

anonymous
()
Ответ на: комментарий от anonymous

И даже если не брать php (типа как пошлый пример), возьмите ту же джаву
как платформу, и уберите из неё все веб-ориентированные компоненты.
Что останется? Ась? Тормозные гуи-инсталлялки, jdbc, что ещё?

anonymous
()
Ответ на: комментарий от babai

Да практически все, если принять во внимание, что Си - это портабельный
ассемблер, а все остальное так или иначе написано на Cи ;)

anonymous
()
Ответ на: комментарий от anonymous

SML суксь - за двойную мораль в подходе к полиморфизму.

Antichrist
()
Ответ на: комментарий от anonymous

Использование такого подхода, как темплейты - симптом фимоза гойловного мозга. Наличие таких средств для языка - показатель наличия у языка прибыдлованных пользователей.

Antichrist
()
Ответ на: комментарий от anonymous

Кто тебе сказал, что уеб-лабание - солидное программирование? Им должны обезьянки заниматься...

Antichrist
()
Ответ на: комментарий от Antichrist

> Использование такого подхода, как темплейты - симптом фимоза гойловного мозга.

Ты сам понял, что сказал? ;) Опять забыл таблеточек попить, которые
тебе доктор в Кащенко прописал?

> Наличие таких средств для языка -

Какой-такой язык-мазык? Кто сейчас пишет на языках? Ессно речь про
фреймворки.

anonymous
()
Ответ на: комментарий от Antichrist

> Главнейшая? Ври, да не завирайся.

А хто ж тогда?!?

> Коболе, ась? А он до сих пор - один из популярнейших языков...

Ф какой палате?

anonymous
()

Да вы все тут бегойловые тупицы, кроме Антика! :)

Лень было регистрироваться. Пардон муа.

Ксавье Лерой.

Zubok ★★★★★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.