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

===== Теория категорий =====
Лекции профессора Шоичи Юкиты

{{ студентам: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 =====
[[http://ilyasergey.net/pnp|Лекции профессора Ильи Сергея]]

===== Функциональное программирование на языке 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.