Программирование на языке Ocaml
| Main Author: | |
|---|---|
| Other Authors: | , |
| Summary: | Эта книга введет вас в мир OCaml, надежный язык программирования, обладающий большой выразительностью, безопасностью и быстродействием. Пройдя через множество примеров, вы быстро поймете, что OCaml – это превосходный инструмент, позволяющий писать быстрый, компактный и надежный системный код. Вы познакомитесь с основными понятиями языка, узнаете о приемах и инструментах, помогающих превратить OCaml в эффективное средство разработки практических приложений. В конце книги вы сможете углубиться в изучение тонких особенностей инструментов компилятора и среды выполнения OCaml. Книга из коллекции ДМК Пресс - Информатика |
| Published: |
Москва, ДМК Пресс, 2014
|
| Subjects: | |
| Online Access: | http://e.lanbook.com/books/element.php?pl1_id=82820 https://e.lanbook.com/img/cover/book/82820.jpg |
| Format: | Electronic Book |
MARC
| LEADER | 00000nam0a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 82820 | ||
| 010 | |a 978-5-97060-102-0 | ||
| 100 | |a 20250516d2014 k y0rusy01020304ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 105 | |a y z 000zy | ||
| 106 | |a z | ||
| 200 | 1 | |a Программирование на языке Ocaml |b Электронный ресурс |f Мински Я.,Мадхавапедди А.,Хикки Д. |g Пер. с анг.л А. Н. Киселева | |
| 210 | |a Москва |b Москва |c ДМК Пресс |d 2014 | ||
| 215 | |a 536 с. | ||
| 330 | |a Эта книга введет вас в мир OCaml, надежный язык программирования, обладающий большой выразительностью, безопасностью и быстродействием. Пройдя через множество примеров, вы быстро поймете, что OCaml – это превосходный инструмент, позволяющий писать быстрый, компактный и надежный системный код. Вы познакомитесь с основными понятиями языка, узнаете о приемах и инструментах, помогающих превратить OCaml в эффективное средство разработки практических приложений. В конце книги вы сможете углубиться в изучение тонких особенностей инструментов компилятора и среды выполнения OCaml. | ||
| 333 | |a Книга из коллекции ДМК Пресс - Информатика | ||
| 610 | 0 | |a bind | |
| 610 | 0 | |a идиомы обработки ошибок | |
| 610 | 0 | |a исключения | |
| 610 | 0 | |a вспомогательные функции для возбуждения исключений | |
| 610 | 0 | |a восстановление работоспособности после исключений | |
| 610 | 0 | |a обработчики исключений | |
| 610 | 0 | |a перехват определенных исключений | |
| 610 | 0 | |a трассировка стека | |
| 610 | 0 | |a типы с информацией об ошибках | |
| 610 | 0 | |a стратегия обработки ошибок | |
| 610 | 0 | |a императивное программирование | |
| 610 | 0 | |a пример: императивные словари | |
| 610 | 0 | |a данные в формах | |
| 610 | 0 | |a массивам | |
| 610 | 0 | |a элементарные изменяемые данные | |
| 610 | 0 | |a внешние функции | |
| 610 | 0 | |a циклы for and while | |
| 610 | 0 | |a пример: двусвязные списки | |
| 610 | 0 | |a изменение списка | |
| 610 | 0 | |a отложенные вычисления и другие благоприятные эффекты | |
| 610 | 0 | |a мемоизация и динамическое программирование | |
| 610 | 0 | |a ввод и вывод | |
| 610 | 0 | |a терминальный ввод/вывод | |
| 610 | 0 | |a форматированный вывод с помощью printf | |
| 610 | 0 | |a файловый ввод/вывод | |
| 610 | 0 | |a порядок вычислений | |
| 610 | 0 | |a побочные эффекты и слабый полиморфизм | |
| 610 | 0 | |a ограничение значений | |
| 610 | 0 | |a частичное применение и ограничение значения | |
| 610 | 0 | |a ослабление ограничения значений | |
| 610 | 0 | |a функторы | |
| 610 | 0 | |a простейший пример | |
| 610 | 0 | |a вычисления с применением интервалов | |
| 610 | 0 | |a создание абстрактных функторов | |
| 610 | 0 | |a совместно используемые ограничения | |
| 610 | 0 | |a деструктивная подстановка | |
| 610 | 0 | |a использование нескольких интерфейсов | |
| 610 | 0 | |a расширение модулей | |
| 610 | 0 | |a модули первого порядка | |
| 610 | 0 | |a приемы работы с модулями первого порядка | |
| 610 | 0 | |a пример: фреймворк обработки запросов | |
| 610 | 0 | |a реализация обработчика запросов | |
| 610 | 0 | |a диспетчеризация запросов | |
| 610 | 0 | |a загрузка и выгрузка обработчиков запросов | |
| 610 | 0 | |a жизнь без модулей первого порядка | |
| 610 | 0 | |a объекты | |
| 610 | 0 | |a объекты ocaml | |
| 610 | 0 | |a неизменяемые объекты | |
| 610 | 0 | |a подтипизация | |
| 610 | 0 | |a подтипизация в ширину | |
| 610 | 0 | |a подтипизация в глубину | |
| 610 | 0 | |a вариантность | |
| 610 | 0 | |a сужение | |
| 610 | 0 | |a подтипизация и рядный полиморфизм | |
| 610 | 0 | |a классы | |
| 610 | 0 | |a классы в ocaml | |
| 610 | 0 | |a параметры класса и полиморфизм | |
| 610 | 0 | |a типы объектов и интерфейсы | |
| 610 | 0 | |a наследование | |
| 610 | 0 | |a типы классов | |
| 610 | 0 | |a открытая рекурсия | |
| 610 | 0 | |a скрытые методы | |
| 610 | 0 | |a бинарные методы | |
| 610 | 0 | |a виртуальные классы и методы | |
| 610 | 0 | |a создание простых фигур | |
| 610 | 0 | |a инициализаторы | |
| 610 | 0 | |a решение имен | |
| 610 | 0 | |a примеси | |
| 610 | 0 | |a отображение анимированных фигур | |
| 610 | 0 | |a отображения | |
| 610 | 0 | |a создание отображений с компараторами | |
| 610 | 0 | |a деревья | |
| 610 | 0 | |a полиморфные компараторы | |
| 610 | 0 | |a соответствие интерфейсу comparative.s | |
| 610 | 0 | |a множества | |
| 700 | 1 | |a Мински |b Я. | |
| 701 | 1 | |a Мадхавапедди |b А. | |
| 701 | 1 | |a Хикки |b Д. | |
| 801 | 1 | |a RU |b Издательство Лань |c 20250516 |g RCR | |
| 856 | 4 | |u http://e.lanbook.com/books/element.php?pl1_id=82820 | |
| 856 | 4 | 1 | |u https://e.lanbook.com/img/cover/book/82820.jpg |
| 953 | |a https://e.lanbook.com/img/cover/book/82820.jpg | ||