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

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
(Домашние задания)
Строка 27: Строка 27:
 
Крайний срок сдачи работы: 17 ноября, 18:00
 
Крайний срок сдачи работы: 17 ноября, 18:00
  
Решения присылать на адрес: sk@mi-ras.ru  
+
Решения присылать на адрес: sk@mi-ras.ru
 +
 
 +
== Итоговый экзамен (take home) ==
 +
[https://github.com/serokell/hse-haskell-course-src/blob/master/final_exam_2021_autumn.pdf/ Ссылка на задания]
 +
 
 +
Крайний срок сдачи работы: 28 декабря, 20:00
 +
 
 +
Решения присылать на адрес: sk@mi-ras.ru
  
 
== Материалы ==
 
== Материалы ==

Версия 22:10, 27 декабря 2021

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

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

Гугл-таблица по курсу

Ссылки на зум-трансляции

Лекция

Семинар

Домашние задания

Первое домашнее задание. Ссылка-приглашение в GitHub Classroom

Дедлайн: 7 ноября, 23:59

Второе домашнее задание. Ссылка-приглашение в GitHub Classroom

Дедлайн: 5 декабря, 23:59

Контрольная работа (take home)

Контрольная работа, take home

Время начала работы: 16 ноября, 18:00

Крайний срок сдачи работы: 17 ноября, 18:00

Решения присылать на адрес: sk@mi-ras.ru

Итоговый экзамен (take home)

Ссылка на задания

Крайний срок сдачи работы: 28 декабря, 20:00

Решения присылать на адрес: sk@mi-ras.ru

Материалы

страница курса 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 курса

Материалы занятий

Слайды семинаров

Контакты

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

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


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

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

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

GitHub


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