Функциональное программирование 2021 — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
(Домашние работы)
(Функциональное программирование)
Строка 1: Строка 1:
 
== Функциональное программирование ==
 
== Функциональное программирование ==
  
Курс по выбору для студентов 4 курса ФКН ВШЭ, 3-й модуль 2019 г.
+
Курс по выбору для студентов 3 и 4 курса ФКН ВШЭ, 1 и 2 модуль 2021 г.
  
 
== Материалы ==
 
== Материалы ==

Версия 12:03, 21 сентября 2021

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

Курс по выбору для студентов 3 и 4 курса ФКН ВШЭ, 1 и 2 модуль 2021 г.

Материалы

страница курса 2018 г.

Полезные ресурсы и материалы

Базовые ресурсы

Сайт языка

Haskell Tool Stack

Информация про Cabal

Hoogle

Hackage

Стандартная библиотека языка Haskell на Hackage

Общие рекомендации по написанию кода

Книги и статьи

Learn You a Haskell for Great Good

Programming in Haskell by Graham Hutton

Real World Haskell

Category Theory for Computer Scientists

Basic Simple Type Theory

Lectures on the Curry-Howard Isomorphism

список лекций и литературы в README курса

Домашние работы

TBA

Теоретическая контрольная работа

TBA

Контакты

Степан Кузнецов

почта: sk@mi-ras.ru


Даниил Рогозин

почта: daniel.rogozin@serokell.io

телефон (для телеграма): +7-925-623-11-78

GitHub


Телеграм-чат по курсу: https://t.me/joinchat/RmMffsy1ZZgwZTli