«Функциональное программирование и основы теории Computer Science»

Цели курса

• Продемонстрировать непривычный подход к решению задач разработки программных систем, отличный от традиционно преподаваемого в учебных заведениях, однако набирающий популярность в индустрии Software Development.


• Привить умение анализировать поставленную задачу, выделять в ней абстракцию, производить разбивку на подзадачи. Дать понять преимущества манипулированиями абстракциями предметной области в коде, в отличие от низкоуровневых команд языка программирования.


• Научить использовать полезные идиомы, свойственные функциональному подходу, вне зависимости от используемого языка и решаемой задачи.


• Показать практическое насущное применение ФП. В числе примеров:
• Алгоритмы параллельного и асинхронного программирования, которые сейчас являются одной из наиболее активно исследуемых областей в IT. В курсе им уделено особое внимание.
• Принципы работы с объемными потоками/списками данных.
• Парсинг текста, создание DSL (Domain Specific Language).
• Познакомить с некоторыми математическими основаниями, на которых строится предмет Computer Science. Показать, что знания теории алгоритмов действительно применимы в практической разработке.

( Предварительные знания )

( Организация )

( Программа курса )

- - - - - - - - - - - - - - - - - -
Планируется к чтению вашим покорной слугой в следующем семестре на факультете ИПСА Киевского политехнического института.

В значительной мере основан на курсе Евгения antilamer Кирпичева, и на SICP, в числе источников также «ПФП», Brian McNamara, Харрисон, курс Дмитрия Сошникова и, конечно же, Guy E. Blelloch. Это не считая собственной практики ACM-олимпиад и алгоритмов плюс еще дюжины различных второстепенных источников.

Кто что скажет?