В каком учебном пособии вы посоветуете учиться OCaml?

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

Ответ 1

Мне очень нравится книга Разработка приложений с Objective Caml - Я думаю, что заголовок должен быть обновлен, чтобы отразить решение об именовании "OCaml". Он старый и, следовательно, слегка устаревший, но только по незначительным аспектам - например, он представляет синтаксис потока как принадлежащий к основному языку, но теперь он передается на внешний рынок как расширение Camlp4. Книга удивительно полна, и есть много мяса уже в главах 2, 3 и 4.

В этих книгах написано немного системного программирования, но если это интересует читателя, я бы предпочел рекомендовать отдельную книгу Системное программирование Unix в OCaml - также переведен на английский язык усилиями сообщества.

Наконец, если вы хотите найти теоретические основы OCaml, если вы нашли книгу U3, Использование, понимание и раскрытие языка OCaml быть отличным ресурсом. Но это только для читателей, которые уже знают о OCaml.

PS: У меня очень хорошее мнение о Джейсоне Хики введение в Objective Caml, но я не могу сказать, что прочитал его в полном объеме, только взглянул на него. Что проблема с книгами "новичков", вы действительно можете прочитать не более одного хорошего.

Ответ 2

Для меня основной:

$ apt-cache show ocaml-book-en
Package: ocaml-book-en
Source: ocaml-book
Version: 1.0-5
Installed-Size: 7061
Maintainer: Debian QA Group <[email protected]>
Architecture: all
Recommends: www-browser | pdf-viewer
Description-en: English book: "Developing applications with Objective Caml"
 This is the English translation of the O'Reilly OCaml French
 book "Developpement d'applications avec Objective Caml" that can
 be found in the ocaml-book-fr package.
 .
 This package contains both the HTML and PDF version of the book.

:)

Существует также отличная книга для системного программирования в OCaml и ресурса в стиле cookbook здесь.

Ответ 3

Учебник, который я использовал при обучении, и тот, который я всегда рекомендую новичкам - ocaml-tutorial.org (зеркалирован в ocamlcore, поскольку исходный сайт опустился).

Ответ 4

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

OCaml port книги Как думать, как компьютерный ученый был создан Николасом Мондже.

Согласно веб-сайту, PDF версия должна быть загружена

Из книги:

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

Самый важный навык для компьютерного ученого - решение решения. Решение проблем означает способность формулировать проблемы, творчески мыслить о решениях и четко и точно выражать решение. Как оказалось, процесс обучения программе - отличная возможность практиковать навыки решения проблем. Вот почему эта глава называется "Путь программы".

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

Ответ 5

Я только что начал с Ocaml, и это учебные пособия, которые я считаю наиболее полезными:

Документация и руководство пользователя - наиболее полезные и официальные

Введение в Caml - это я использовал в свои первые дни (недавно), и это было действительно полезно из-за его простоты

Ответ 6

Я думал, что Джейсон Хикки. Введение в Objective Caml было очень хорошим (единственный фактический текст на языке, который я прочитал, и как я начал). Документация INRIA также хороша; и подписывание модуля чтения сами по себе весьма поучительны, когда вы его повесили;)

Верьте или нет, OCaml был первым языком, который я (действительно) узнал.

Ответ 7

Появилась новая книга "" Real World OCaml "Джейсона Хикки. На на веб-сайте доступна публичная бета-версия бесплатно. Несмотря на то, что книга еще не закончена, я не заметил никаких серьезных ошибок или нерелевантности.

Это дало мне полноценное понимание OCaml. Он содержит множество примеров, иллюстрирующих концепции, и их можно легко рассматривать как учебное пособие. Мне также понравилось, что он частично охватывает стандартные модули (List, ListLabels, Map, Sys, String, могут быть некоторые другие).

"Система Runtime System" в этой книге очень полезна. Он содержит сведения о реализации компилятора, управлении памятью, привязке к внешнему коду, интуиции по языковой стоимости. Последнее, что я считаю очень важным, потому что многие книги по функциональному программированию охватывают понятия, не говоря о том, насколько дороги они с точки зрения памяти и времени. Очень рекомендую эту книгу, особенно когда есть бесплатная онлайн-версия.