С гитхаба уже можно нормально скачать? Без предоставления излишних прав?

А то я дернулся месяц назад, так там чуть ли не ключи от квартиры запросили. :)

неа, есть только https://github.com/realworldocaml — код примеров и сопутствующие скрипты.

отлично!

Судя по оглавлению книжка должна быть годной. Нужно будет почитать. Спасибо!

Когда уже SMP запилят?

«Real World or OCaml»

Ещё бы IDE нормальную для OCaml сделали.

Лучше Real World Haskell почитать http://eax.me/haskell-vs-ocaml/

• Tuareg Mode
• TypeRex

http://eax.me/haskell-vs-ocaml/

Лично у меня создалось впечатление
Есть многочисленные сведения
лично моя история и мои впечатления

ОК, продолжай наблюдения.

А OCaml скорее жив или скорее мёртв?

Если так полистать книжку, то вполне жив. OPAM вот есть, как у взрослых.

Tuareg Mode

TypeRex

ODT

да, про эклипс я забыл.

Скажите где применяется OCaml?

Real World

OCaml

/0

О_О минг, ты какими судьбами тут?

нужная книга для ненужного окамла

Гитхаб-аккаунт для чтения не нужен.

Был подающий надежды просматривальщик dvi aka advi, но к сожалению за пределы подавания надежд он так и не вышел :(

Не подскажете, почему в OCaml имя переменной не может начинаться с заглавной буквы? Первый раз такое ограничение вижу, любопытно с чем оно связано.

http://rain.ifmo.ru/~olegfink/ocaml.html

Думаю по той же причине по которой в пайтоне отступы - навязывание стиля кодирования (к счастью хорошего). В запутанных языках иногда когда смотришь на идентификатор, тяжело понять, это переменная, функция или тип

А расскажите, зачем нужен сабжевый язык?

Потому что конструкторы с большой буквы начинаются. Нет, не объектов, а алгебраических типов.

Скажите мне, где используется этот язык?

zeroconf?

jane street использует «в финансах»

Спасибо, в первый раз услышал об этом языке. Век живи - век учись.

попутал с zero0install :)

http://roscidus.com/blog/blog/2013/06/09/choosing-a-python-replacement-for-0i...

Скажите мне, где используется этот язык?

Основной продукт, из-за которого Ocaml не повторил судьбу остальных ML/SML языков — Coq. Пилится той же конторой, и весьма-весьма уважаем в научных кругах.

Основная проблема всего ML семейства, что основная потенциальная клиентура — сишники и си++ники видали все семейство в гробу.

весьма-весьма уважаем в научных кругах.

3.5 гранторасхитителя это ещё не научные круги

откуда столько боли, анон?

откуда столько боли, анон?

Бомбануло же. ;-)

Вангую это бывший студент, которого отчислили с мехмата (или, что еще веселее, с заборостроительного факультета) после второго семестра математики.

3.5 гранторасхитителя это ещё не научные круги

3.5, не 3.5, а теорему о 4-х красках таки доказали именно на нем.

Рецепты борща в книге есть?

В задаче вычисления факториала и чисел Фибоначи.

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

Ну и чем твой Coq лучше чем HOL (который как раз на SML)? В промышленности HOL реально применяют, например, в Intel и в AMD, а Coq это академическая ненужная игрушка.

да прочитайте уже

https://realworldocaml.org/v1/en/html/index.html

Ну и чем твой Coq лучше чем HOL

А где именно я говорил за «лучше»?

Основной продукт, из-за которого Ocaml не повторил судьбу остальных ML/SML языков — Coq

Явно подразумевая, что Coq более «нужен» чем то, что написано на SML. Тогда как на самом деле все наоборот.

Мне за чтение всякой ненужной мути кто-то заплатит? Нет? Тогда в топку.

Явно подразумевая, что Coq более «нужен»

Ы-ы-ы?

Более чем жив, просто он плотно (почти монополизировал) некоторые ниши, и не спешит оттуда выходить.

Frama-C, Alt-Ergo, coccinelle, BAP, и т.д. Все что связано с анализом алгоритмов и программ.

да прочитайте уже

Мне за чтение всякой ненужной мути кто-то заплатит? Нет? Тогда в топку.

https://realworldocaml.org/v1/en/html/prologue.html#why-ocaml

ну за писанину говнокомментов же тебе также никто не заплатит - а так хоть что-то полезное можешь узнать. Опять же пока будешь занят чтением букв - не будешь здесь флудить. Профит!

Я даже знаю, что это за ниши: вычисление факториала и компиляция кода для вычисления факториала.

Теорему о 4 красках доказали советские ученые в 1964 году.

CC-BY-ND

Даже перевод не замутить?

Печаль.