[ocaml] ocaml for scientists в pdf

> Качество ужасное

Вы, верно, ужасного качества не видели. subj неплохо отсканен, все формулы читаемы. Или мы о каких-то разных djvu говорим:

http://img.flashtux.org/upload/img1328e3322f23x19c8cd92.png

В той версии, что есть у меня, больше всего раздражает, что некоторые куски формул и кода распознаны как текст. В результате [] превращается в [J, например. Погуглив еще раз, я нашел другую djvu-версию книги, где таких дефектов нет (в прошлый раз я не стал ее смотреть: меня сбил с толку одинаковый размер файлов). Видимо, это как раз та версия, которая есть у вас. Спасибо.

Раз уж на то пошло, я буду рад дополнительным ссылкам на литературу о численных приложениях ocaml.)

http://rs106.rapidshare.com/files/132688525/EMMA.rar

> http://rs106.rapidshare.com/files/132688525/EMMA.rar

Это как раз та версия, где код и часть формул распознаны как текст. Бе-е-е.)

>> http://rs106.rapidshare.com/files/132688525/EMMA.rar

> Это как раз та версия, где код и часть формул распознаны как текст. Бе-е-е.)

Похоже, кто-то вбил недостающий текст вручную на Acrobat Pro, не сильно понимая смысл вбиваемого. Это происходило в тех случаях, когда акробаровская распознавалка ломалась на слишком сложных формулах или нестандартном шрифте кода. А так понимаемо 99,9% текста.

> Погуглив еще раз, я нашел другую djvu-версию книги, где таких дефектов нет

Опубликуй ссылку.

> некоторые куски формул и кода распознаны как текст.

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

Так себе книжка например

>> Погуглив еще раз, я нашел другую djvu-версию книги, где таких дефектов нет

> Опубликуй ссылку.

Пожалуйста.

http://rapidshare.com/files/132673889/t06890.rar.html
RAR archive password: twilightzone

А книжка то не очень... Ожидал гораздо большего, Харруп так ее расхваливал, что даже купить думал. Хорошо, что не сделал этого: за такие-то деньги такой посредственный материал...

> А книжка то не очень...
А вы не могли бы порекомендовать книжку лучше?

В ocaml for scientists многое излагается слишком кратко. Но ведь книжка предназначена для людей, переходящих с FORTRAN-а, например. Поэтому и целая глава про оптимизацию, и примеры симпатичные.)

> А книжка то не очень... 

О черт, а я ее как раз планировал прочитать.

> А вы не могли бы порекомендовать книжку лучше?

Вообще, есть еще Practical Ocaml by Joshua B. Smith, но я ее только начал читать, поэтому ничего сказать не могу, вот ее оглавление, не знаю, поможет ли она вам


    CHAPTER 1  Why Objective Caml (OCaml)? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
    CHAPTER 2  Interacting with OCaml: The Toplevel . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
   s
    CHAPTER 3  Syntax and Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
   s
    CHAPTER 4  Understanding Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
   s
    CHAPTER 5  Practical: Creating a Simple Database . . . . . . . . . . . . . . . . . . . . . . . . . . 51
   s
    CHAPTER 6  Primitive and Composite Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
   s
    CHAPTER 7  Practical: Simple Database Reports, Exports, and Imports . . . . . . 73
   s
    CHAPTER 8  Collections . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
   s
    CHAPTER 9  Files and File I/O. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
   s
    CHAPTER 10 Exception Handling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
   s
    CHAPTER 11 Practical: A URI Library . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
   s
    CHAPTER 12 Using Ocamldoc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
   s
    CHAPTER 13 Modules and Functors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
   s
    CHAPTER 14 Practical: A Spam Filter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
   s
    CHAPTER 15 Practical: A Network-Aware Scoring Function . . . . . . . . . . . . . . . . . 179
   s
    CHAPTER 16 Ocamllex and Ocamlyacc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193
   s
    CHAPTER 17 Practical: Complex Log File Parsing . . . . . . . . . . . . . . . . . . . . . . . . . . . 213
   s
    CHAPTER 18 The Objective Part of Caml . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225
   s
               Digression: OCaml Is Not Pure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 249
    CHAPTER 19
   s
               Digression: Functional Programming . . . . . . . . . . . . . . . . . . . . . . . . . . 261
    CHAPTER 20
   s
    CHAPTER 21 Practical: Web Programming . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 273
   s
    CHAPTER 22 Practical: A Shoutcast Server . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 293
   s
               Using Threads . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 309
    CHAPTER 23
   s
    CHAPTER 24 Practical: A Concurrent Web Crawler . . . . . . . . . . . . . . . . . . . . . . . . . . 329
   s
    CHAPTER 25 Interfacing with OCaml . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 349
   s
iv
 CHAPTER      26        Practical: Time and Logging Libraries . . . . . . . . . . . . . . . . . . . . . . . . . 359
s
 CHAPTER      27        Processing Binary Files . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 375
s
 CHAPTER      28        OCaml Development Tools . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 401
s
 CHAPTER      29        Camlp4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 411
s
 CHAPTER      30        Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 431
s

Читал рецензию, что своих денег Practical Ocaml не оправдывает.

> Читал рецензию, что своих денег Practical Ocaml не оправдывает.

Бесплатно же! :) В таком случае, книг нормальных по Ocaml вообще, видимо, нет.

> В таком случае, книг нормальных по Ocaml вообще, видимо, нет.

Один из безумных анонимусов, которые здесь тусовались, хвалил Guy Cousineau and Michel Mauny. The Functional Approach to Programming.

Еще можно искать книги по F#.

> Guy Cousineau and Michel Mauny. The Functional Approach to Programming.

У вас ее в электронном виде, случайно, нет? А то что-то в гугле негусто.

Хорошая книжка (да-да содержание там выглядит особенно круто: от азов синтаксиса, до веб-краулера).) Мне только не очень нравится как там код выровнен. Если плохо знаком с ocaml-ом (мой случай), большие куски будет не так просто прочесть.) И куцое начало (мне показалось).

А еще там в 4-ой главе есть забавный пример, где автор использует тип со многими конструкторами для реализации единиц измерения длины. И, помимо прочих операций, определяет для этого типа умножение и деление. Интересно, что и при делении, и при умножении длин у автора получается величина с размерностью длины. Такая фигня.)

>> Guy Cousineau and Michel Mauny. The Functional Approach to Programming.

> У вас ее в электронном виде, случайно, нет?

Нет. Кусочки есть в Google Books, но небольшие.

Вышерекомендованная Guy Cousineau and Michel Mauny. The Functional Approach to Programming. Но ее нужно покупать, в электронном нет.

Вполне неплохи также и бесплатные Developing Applications with Objective Caml (некоторые главы, например про сборщик мусора, обязательны к прочтению) и Introduction to Objective Caml (автор John Hickey, довольно систематичное такое введение) - они обе лучше OCaml for Scientist.

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

Не рекомендую. Начинал читать ее (где-то треть осилил) - написана ужасно. Как книга для изучения языка не подходит совершенно, приличное количество ошибок, кривой код. Определенный интерес могут представлять ознакомление с практическими главами, но, повторюсь, язык по книге учить нельзя. Заявляю со всей ответственностью, она ни в какое сравнение не идет с казалось бы аналогичной Practical Common Lisp: книги абсолютно разного уровня).

Начинайте все же с вышеупомянутой мною DAOC.