LINUX.ORG.RU

O'Caml 3.12.0

 


1

0

Сегодня вышел O'Caml 3.12.0, посвященный памяти Robin Milner.

O'caml — это современный объектно-ориентированный язык функционального программирования общего назначения.

Изменений много, как в самом языке, так и в компиляторе и в библиотеке. Ocamlbuild научился динамической линковке, и появился ocamlobjinfo.

Более подробные изменения и перечень исправлений доступны в анонсе.

>>> Анонс

★★★★★

Проверено: Dimez ()
Последнее исправление: MuZHiK-2 (всего исправлений: 3)

Не понимаю, за каким фигом кричать о себе, если даже нет бинарей под винду?? Скомпилять - 10 минут, не скомпилять - позорище на всю сеть.

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

Кстати, именно по озвученным там причинам фейла не стану использовать ни его, ни модный ныне Haskell в production. Да и Scala под вопросом.

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

>Кстати, именно по озвученным там причинам фейла не стану использовать ни его, ни модный ныне Haskell в production

Ты издеваешься? Осквернять святой Haskell низменным практическим применением, да еще в продакшене? На костер тебя, еретика!

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

> Ждём новую версию F#

Сомнительно. F# - тестовый проект для тренировки на кошках, мелкософт не будет тратить на него силы бОльшие, чем на мэйнстрим. Да и цель их - не портировать ОКамлю полностью на .НЕТ, а сделать «нечто похожее».

Вообще, довольно странный выбор - ОКамл! Наверное, в их команде было много камльщиков, вот и взялись. Куда приятнее смотрелся бы Смоллток.

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

> Нельзя ли как-то ближе к русскому расставить знаки препинания?

Можно. Но, в случае обращения к знатокам вроде тебя, не обязательно.

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

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

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

>насколько я помню, в их команде было много хаскельщиков...

Насколько я помню, разработкой F# занимается M$ Research Cambridge, так что выбор ML в качестве основы очевиден ;).

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

Ну, Хаскелл, не только по тому. Как на мой взгляд, он что-то вроде плюсов от FP - стает слишком громоздким.

cab ★★★★
()

OCaml еще жив? Новость порадовала!

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

Мне гораздо практичнее видится что-то LISP или ML-based Clojure или F#. Хотя Ocaml для личного использования тоже вполне подойдет, там где хватит его инфраструктуры, естественно.

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

F# это конечно хорошо, но на моно оно в основном работает в игрушечном режиме (полгода назад игрался последний раз)

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

F# уже есть под *nix? С лицензионной точки зрения все чисто, или такая же муть как с mono?

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

Именно по причине достаточно большой академичности языка. Насколько я знаю Одерский занимается им больше в научных целях, чем для собственного ежедневного практического использования и он в команде единственный, неповторимый и загруженный далеко не только работой над языком. Высоки шансы на то, что развитие языка пойдет может резко забуксовать.
В случае clojure язык развивается для ежедневных нужд разработчика, а разработчикам F# постоянно платит Балмер.
Кроме того, в мейнстрим - Java и C# мигрировали наиболее полезные конструкции из FP типа систем типов и клозурников, а потом омигрируют и другие фичи.

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

Хотя в основном я линуксоид, но при необходимости я и винду могу заюзать :) Да и моно развивается.

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

с Clojure это да, он получается более практичным языком. Да и создание Clojure/core позволяет надеяться на то, что развитие языка и инфраструктуры будет идти хорошими темпами. Да и кол-во компаний-спонсоров тоже является показателем

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

>Кстати, именно по озвученным там причинам фейла не стану использовать ни его, ни модный ныне Haskell в production

Ты издеваешься? Осквернять святой Haskell низменным практическим применением, да еще в продакшене? На костер тебя, еретика!

Святому Haskell'ю пофигу на какой-то хомячковый продакшн.

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

> Насколько я помню, разработкой F# занимается M$ Research Cambridge, так что выбор ML в качестве основы очевиден ;)

В Кембридже сидят Simon Peyton Jones и иже с ними. Хаскельщики.

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

Собственно я больше и ориентируюсь на Clojure+Java и в процессе обучения уже вижу, где его смогу у себя применить. Несмотря на то, что игры F#+Mono оказались довольно удачными.

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

> Кроме того, в мейнстрим - Java и C# мигрировали наиболее полезные конструкции из FP типа систем типов и клозурников, а потом омигрируют и другие фичи.

На велосипеды поставили квадратные колеса из бетона.

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

Уже давно там :) да и в blogspot-e с вами еще недавно насчет книг беседовал, про Practical Clojure. Не всегда есть время писать, даже заметку про clojure-mode никак руки не доходят выпустить в чистовом варианте.

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

в ЛОРовском профиле просто недостаточно информации для сопоставления :-)

P.S. про clojure-mode хорошо было бы полезно - у меня у самого руки не доходят :-(

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

Дома сейчас к компу не подберусь, а на работе некогда. В принципе моя статья http://mkazarian.blogspot.com/2010/02/clojure-emacs-java.html вполне годна, только в комментах указали, что с путями напортачил - писал и дома и на работе. Но проблема решаема, если смотреть в комменты. Плюс не знаю в каком формате лучше сделать чистовик, на блогспоте это извращение

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

Плюс хочется написать маленькую статью о типах, state/identity и пр. Как минимум для окончательного разложения по полочкам у себя в голове.

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

я кстати, дописал про state/identity в статью про кложуру, только еще не выложил. Ну и про протоколы/типы, будет обновление

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

На меня Скала произвела очень приятное впечатление. Исходный код и документация отличаются добротностью, которую сразу видно. Хотя черезмерно большой упор на трейты в библиотеке коллекций все же несколько напрягает (там столько трейтов сразу наследуется, что фиг разберешься без доки), но это кажется естественным продолжением идеологии, когда выбор делается не в пользу функций модулей, а методов объектов. Что касается языка, то чувствуется продуманность и основательность. Только ковариантность и абстрактные типы-члены чего стоят.

Скала выглядит как самый ООП-шный функциональный язык и как самый функциональный из ООП-шных. В этом что-то есть. И еще мне показалось, что язык развивается не только одним Мартином Одерским. Там у них целая компания собралась.

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

несколько причин:
- работа на JVM - достаточно часто требование заказчиков
- более функциональный язык
- отличная поддержка конкурретного выполнения кода
- работа на JVM дает доступ к бесчисленному кол-ву библиотек по интересующим меня тематикам (machine learning, Hadoop, etc.)
- активное коммьюнити

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

а так, я пишу на всем подряд, в зависимости от задачи

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

пошёл вон отсюда.

по сабжу — хорошо, что вышел, а вот про милнера не знал.

anonymous
()

> посвященный памяти Robin Milner
Больше смертей - больше вкусных релизов.

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

я знаю, что есть - я ее использовал 6-7 лет назад. но во первых нет такой поддержки конкуррентных вещей, язык более императивный

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

на простых задачах оно и так работало, но вот когда объемы данных побольше становятся - было нестабильным (по крайней мере на маке)

ott ★★★★★
()

не так давно начал ковыряться --- пока очень доволен. Правда ощущается нехватка нормальной и актуальной документации.

arhibot
()

Кому кроме маргиналов типа «ПроФФессора» В.С.Лугоффского нужен этот недоязычок?

Весь enterpriZe софт пишется на мегарулезной Oracle Java, а не не маргинальных поделиях.

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

Это что за микрокомпашка с сайтом уродского дизайна? Чем она круче Oracle?

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

> Весь enterpriZe софт пишется на мегарулезной Oracle Java, а не не маргинальных поделиях.

«Однажды, Шура, ваши рыжие локоны примелькаются, и вас просто начнут бить» (с)

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

И что хорошего напейсано на этом супер-пупер язычке?

А то может, мне, старому дураку, надо было не CX310-065 сдавать, а супер-пупер язычок clojure.

Ведь целых 6 (шесть) ! результатов dice.com выдает. Количество вакансий просто обалденно!!!

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

Пока что не бьют. А бабло башляют. Даже не спрашивая мой возраст. Джависты востребованы и в 45 лет. И в 60.

В отличие от кульхацкеров, которые не имеют никакого реального опыта работы в крупных проектах.

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

> Пока что не бьют.

Может, это потому, что ты не демонстрируешь там свое ЧЮ (или что у тебя генерирует фразы из слов «enterpriZe», «мегарулезная Java», «бабки», «старый»)?

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