Вышел OCaml 4

один из двух промышленного уровня доказателей теорем написан на окамле. Если хочется чего-то быстрого и безопасного, то вариантов немного, и окамль тут смотрится хорошо. Нет, не сродни писанию научной статьи, вполне себе down-to-earth код. Вот, к примеру: http://ocamlunix.forge.ocamlcore.org/

(Написан он на окамле не потому что окамль это хорошо, давайте на нем, а потому что больше не на чем. вот ниша.)

(второй, Isabelle, написан на другом диалекте ML).

почему это больше не на чем?

Ну не на говнохаскеле же, ёпт.

функциональных языков как грязи между прочим.

В yet another haskell tutorial именно ocaml предлагается в качестве высокопроизводетельной замены хаскелла, надо будет потыкать.

Хорошая новость! один из моих любимых ЯП. Юзал в моей дипломной работе. Из-за недотредов перешел на CL. Надо будет палочкой потыкать, может что-нибудь вкусное появилось.

как сказать? Как замена С++ для мелких и быстрых вещей язык интересный

как сказать? Как замена С++ для мелких и быстрых вещей язык интересный

У него есть крупный недостаток - отсутствие возможностей сделать биндинги в более другие языки типа того же эрланга. А это в крупных проектах основаня нша сей и крестов. Если бы это было возможно - тогда можно было бы сказать сям до свиданья в пользу окамла.

пока хватает.

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

Ну, ты и рассмешил! :)

Ну, ты и рассмешил! :)

Ну а че? Так и есть. ;-)

может быть найду применение, где можно обойтись и без SMP.

Что радует, пациент еще жив и даже развивается.

он намекал на то, что палочкой тыкают всякую каку, а ты вкусное собрался там искать :}

он намекал на то, что палочкой тыкают всякую каку, а ты вкусное собрался там искать :}

http://en.wikipedia.org/wiki/Chopsticks

Кстати, а в окамле свой аналог питоньева GIL или какие там проблемы с многопоточностью, кроме того, что сборщик мусора не рассчитан на эту многопоточность?

Кстати, а в окамле свой аналог питоньева GIL или какие там проблемы с многопоточностью, кроме того, что сборщик мусора не рассчитан на эту многопоточность?

В дизайне GC поддержка SMP отсутствует как класс, есть только зеленые треды выполняющиеся на одном ядре, так как Лерою SMP был не нужен. но это всего лишь проблемы реализации этой GC.

В Nokia (Palo Alto), в частности, например

А сама Nokia еще жива?

Грязи как грязи между прочим.

Пофиксил во имя справедливости

ACL2 видел? Никакими емелями там и не пахнет. Правда, там еще хуже, там говнолисп.

Насколько я понял таки можно. Например, его скрестили с тиклем, питоном. Он легко сращивается с С. Собственно, если С выступает в роли клея, то проблем сращивания с эрлангом быть не должно. Кстати, окамл используют в паре с Эрлангом http://lionet.livejournal.com/83043.html

Потому что даже при поддержке MS в виде F#, оно не взлетело.

Кстати, окамл используют в паре с Эрлангом

Через пайпы. А хотелось бы нативно.

Ага. Есть не через пайпы. Уже хорошо.

В эрланге правда до сих пор нельзя из NIF звать эрланг - что плохо.

Ага. Есть не через пайпы

Я советовался с одним мужичком по этому делу и он подкинул такую вот ссылку http://www.linux-nantes.org/~fmonnier/ocaml/ocaml-wrapping-c.php .

Вообще, я видел хоуту как из питона дергали окамл, но теперь гугль что-то на эту тему промолчал. Там была тоненькая прослойка на С, которую легко дергал питон через ctypes. В принципе, процесс создания прослойки можно автоматизировать, хотя тот мужичок, с которым я советовался, говорит, что такой автоматизации особо и не надо т.к. проще набор макросов C/препоцессор ad hoc написать - с lablGtk как-то так и сделали.

На какие только извращения люди не идут, чтобы на C++ не писать! Люди, вам не стыдно? Учите ПРАВИЛЬНЫЕ языки!

На какие только извращения люди не идут, чтобы на C++ не писать! Люди, вам не стыдно? Учите ПРАВИЛЬНЫЕ языки!

У плюсов ниши нет. Совсем. Только легаси. Только дурачки начинают новые проекты на плюсах.

Джон Кармак - тот еще дурачок, да ;)

Джон Кармак - тот еще дурачок, да ;)

возможно

Плюсы сложны. А я туп и ленив.