Зарегистрироваться
Восстановить пароль
FAQ по входу

Милевски Б. Дао функционального программирования

  • Файл формата pdf
  • размером 1,67 МБ
  • Добавлен пользователем
  • Описание отредактировано
Милевски Б. Дао функционального программирования
Перевод и редактирование Г. Чернышёва. — 499 с.
Данная книга содержит изложение теоретических и прикладных основ функционального программирования, базирующихся на понятиях теории категорий. Назначение книги (как и предыдущей книги автора, «Теория категорий для программистов», множества его публикаций и видео-трансляций) — подготовить заинтересованного читателя к более глубокому погружению в эти области. Подготовка и оформление перевода произведены полностью с использованием системы LyX.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Смотри также

Подробнее

Кюрьен П.-Л. Теория категорий. Введение, ориентированное на языки программирования

  • pdf
Перевод и редактирование Г. Чернышёва. — 149 с. Изложены базовые понятия теории категории, важные для использования в языках программирования. Наглядность изложения материала обеспечивается графической демонстрацией с использованием струнных диаграмм. Приводятся основы лямбда-исчисления.
  • 1,76 МБ
  • добавлен
  • описание отредактировано
Подробнее

Милевски Б. Теория категорий для программистов

  • pdf
Перевод и редактирование Г. Чернышёва. — 461 с. Излагаются основы теории категорий с точки зрения программирования, прежде всего, на языках функционального типа. Доказательства категорных свойств, как правило, не приводятся, но объясняются программными конструкциями. Такая возможность позволяет осветить значительный объем сведений по теории категорий, имеющих полезные...
  • 10,35 МБ
  • добавлен
  • описание отредактировано
Наверх