Список содержимого

Материалы для подготовки к экзамену по ФП

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

Лекции профессора Шоичи Юкиты

lecture01-what_is_category_theory.ppt

lecture02-products.ppt

lecture03-sums.ppt

lecture04-distributive.ppt

lecture05-data_types.ppt

lecture06-categories_of_functors.ppt

lecture07-imperative_program.ppt

Функциональное программирование и автоматизация доказательств с использованием Coq

Лекции профессора Ильи Сергея

Функциональное программирование на языке Scala

Chiusano, Paul, and Rúnar Bjarnason. Functional programming in Scala. Manning, 2015.

Функциональное программирование и обработка больших данных

Estrada, Raul, and Isaac Ruiz. Big Data SMACK: A Guide to Apache Spark, Mesos, Akka, Cassandra, and Kafka. Apress, 2016.