Популярность OCaml

2-е.

А сколько ты знаешь программ на этом языке? Кроме MLDonkey что-то ничего больше в голову не приходит.

> А сколько ты знаешь программ на этом языке? Кроме MLDonkey что-то ничего больше в голову не приходит.

Active DVI же. Одна проблема - там бага с показом eps так и не решена уже n лет как. Кто бы изучил ocalm и поправил - счастье было бы.

еще есть approx, как же я замучился его собирать для openwrt ...

А что с ним не так?

The Coq Proof Assistant

The Coq tool is a system for manipulating formal mathematical proofs; a proof carried out in Coq is mechanically verified by the machine. In addition to its applications in mathematics, Coq also allows certifying the correctness of computer programs.

> А что с ним не так?

Всё хорошо. Просто он не нужен. Как телега на МКАД.

>> А что с ним не так?

Всё хорошо. Просто он не нужен. Как телега на МКАД.

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

Ваша личная любовь к нему не делает его более адекватным и востребованным. Впрочем особенность путать RL с вашими представлениями о ней уже даже не боян, а целый оргАн.

> Ваша личная любовь к нему не делает его более адекватным и востребованным.

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

Странно. По тому же Prolog, есть несколько книг есть даже русском языке, хотя область применения гораздо уже.

> По тому же Prolog, есть несколько книг есть даже русском языке, хотя область применения гораздо уже.

Они написаны, когда Prolog и AI были в моде.

я из написаного на OCaml знаю только sulci, и то новая версия уже очень давно не выходила

у окамла же какая-то жопа с бинарной совместимостью даже в минорных версиях:

После выпуска 3.08.3 в рассылке Debian возникли вопросы, а существует ли бинарная совместимость между разными версиями OCaml?

http://lists.debian.org/debian-ocaml-maint/2005/01/msg00042.html

Оказалось, что даже между 3.08.2 и 3.08.3 её может не быть. Причины тому (по мнению Jacques Garrigue) изложены в этой ветке:

http://lists.debian.org/debian-ocaml-maint/2005/01/msg00050.html

А вот здесь признание Xavier Leroy (одного из разработчиков OCaml) в том, что бинарная совместимость никогда не входила в их планы =) :

http://lists.debian.org/debian-ocaml-maint/2005/01/msg00056.html

Я знаю 4, присем 2 из них на русском языке. Кроме того есть журнал, посвященный сабжу.

> Я знаю 4, присем 2 из них на русском языке. Кроме того есть журнал, посвященный сабжу.

Знаю, но не скажу?

Cъем сам, все сам! ОДИН!

1) Practical OCaml - Joshua B. Smith (Но эту книжку не хвалят)
2) Didier Remy. Using, Understanding, and Unraveling the OCaml Language
3) Jason Hickey Introduction to the Objective Caml Programming Language
4) Перевод John Harrison's «Introduction to Functional Programming»
5) Документация и руководство пользователя
6) Перевод Oreilly DAOC
7) Книги и журналы по Ocaml и F# от Jon Harrop
Это только по сабжу. А есть еще несколько книг по F# и ML
Гугль найдет.

Еще в догонку http://www.ocaml-tutorial.org/

F# многое взял из окамла, думаю, он обеспечит ему известность.

И что? На тематику эсперанто на порядки больше литературы. Но народу который скажут, что «эсперанто ненужен» найдётся предостаточно. Причем разумно обоснуют.

А уж чего только не пишут на клингонском ...

Подпишись на Planet Ocaml, почитай Ocaml Journal. Про книги уже написали.

Вон недавно курс от Лероя вышел ( точнее перевод на английский ) - http://ocamlunix.forge.ocamlcore.org/ , учит основам Unix на примере встроенных в Ocaml библиотек. Мне понравилось.

Кстати, может кто знает, сделают ли в Хаскеле систему модулей больше похожей на ML? А то там вроде(ОБС) достаточно примитивно все, по одному модулю на файл и higher order modules ( как-то привык к ним, намного чище питоновских class decorators же ) нету..

Кстати, может кто знает, сделают ли в Хаскеле систему модулей больше похожей на ML?

Дык, в общем, уже. Называется type families.

О, спасибо.

Сомневаюсь, что включение F# в студию заметно улучшит положение дел для Ocaml.