LINUX.ORG.RU

Вышла книга «Real World OCaml»

 ,


0

5

Увидела свет финальная версия книги «Real World OCaml». Этот учебник познакомит вас с инструментами и методами, с помощью которых можно эффективно решать разнообразные практические задачи.

В процессе чтения этой книги вы

  • изучите основы языка OCaml (функции высшего порядка, алгебраические типы данных и т.п.);
  • узнаете о продвинутых возможностях (функторы, первоклассные модули, объекты);
  • научитесь решать практические задачи от разбора аргументов командной строки до асинхронного сетевого программирования.

Купить бумажную или электронную копию книги «Real World OCaml» можно на Amazon.com.

Электронная версия книги, распространяемая на условиях лицензии CC-BY-ND, доступна на сайте realworldocaml.org. Для получения доступа необходим аккаунт на github.

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

★★★★★

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

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

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

habamax ★★ ()

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

Norgat ★★★★★ ()

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

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

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

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

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

ymn ★★★★★ ()

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

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

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

los_nikos ★★★★★ ()

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

anonymous ()

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

anonymous ()

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

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

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

Evgueni ★★★★★ ()

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

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

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

vertexua ★★★☆☆ ()

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

dvrts ★★★ ()
Ответ на: комментарий от A-234

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

Kakadu ()
Последнее исправление: Kakadu (всего исправлений: 1)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Macil ★★★★★ ()

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

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

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

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

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

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

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

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

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

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

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

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

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

anonymous ()
Ответ на: да прочитайте уже от zyoung

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

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

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

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

Ы-ы-ы?

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

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

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

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

XVilka ★★★★ ()
Ответ на: Re: да прочитайте уже от anonymous

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

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

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

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

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

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

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

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

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

anonymous ()

CC-BY-ND

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

Печаль.

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