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

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

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

Смотри также

Подробнее

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

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

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

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