Учебник по Haskell - Антон Холомьёв

Бесплатно читаем книгу Учебник по Haskell - Антон Холомьёв без сокращений! Чтобы читать полную версию, не нужна регистрация на сайте. Помните, что чтение доступно как на компьютере, так и на Андроиде, Айфоне и любом другом телефоне.
Учебник по Haskell - Антон Холомьёв

Антон Холомьёв - Учебник по Haskell о чем книга


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

Читать онлайн бесплатно Учебник по Haskell, автор Антон Холомьёв


Учебник по Haskell

Антон Холомьёв

Книга зарегистрирована под лицензией Creative Commons Attribution-NonCommercial-NoDerivs

3.0 Generic license (CC BY-NC-ND 3.0), 2012 год. Вы можете свободно распространять и копировать

эту книгу при условии указания автора. Вы не можете использовать эту книгу в коммерческих

целях, вы не можете изменять содержание книги при копировании или создавать производные

работы на основе содержания этой книги, конечно если это не программный код :) Любое из

указанных ограничений может быть смягчено по договорённости с правообладателем.

Обратная связь: anton.kholomiov@gmail.com

Оглавление

Предисловие

5

1 Основы

7

2 Первая программа

19

3 Типы

34

4 Декларативный и композиционный стиль

53

5 Функции высшего порядка

66

6 Функторы и монады: теория

80

7 Функторы и монады: примеры

99

8 IO

120

9 Редукция выражений

136

10 Реализация Haskell в GHC

149

11 Ленивые чудеса

175

12 Структурная рекурсия

186

13 Поиграем

195

14 Лямбда-исчисление

210

15 Теория категорий

221

16 Категориальные типы

234

17 Дополнительные возможности

245

18 Средства разработки

259

19 Ориентируемся по карте

269

20 Императивное программирование

282

21 Музыкальный пример

299

Приложения

312

3

Содержание

Предисловие

5

Структура книги . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5

Основные понятия . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6

Благодарности . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6

1 Основы

7

1.1 Общая картина . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

7

1.2 Типы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

8

1.3 Значения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

1.4 Классы типов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

Контекст классов типов. Суперклассы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

1.5 Экземпляры классов типов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

1.6 Ядро Haskell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

1.7 Двумерный синтаксис . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

1.8 Краткое содержание . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

Вы автор?
Жалоба
Все материалы размещаются на сайте его пользователями.
Если Ваша книга была опубликована без Вашего ведома и/или без Вашего согласия, пожалуйста, напишите нам, и мы в срочном порядке примем меры.