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

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
(Контакты)
(Домашние работы)
Строка 43: Строка 43:
 
=== Домашние работы ===
 
=== Домашние работы ===
  
Задания должны быть выложены на приватный репозиторий в гитхабе, куда должен быть дан доступ мне и Ивану, ассистенту курса. Ссылки отправлять по почте или через телеграм. Если кого-то по тем или иным причинам не устраивает гитхаб, то это стоит оговорить отдельно. Желательно слать задания через гитхаб.
+
TBA
 
+
[https://github.com/DanielRrr/HSEHaskellCourse/blob/master/01/HW01.hs/ Первая домашняя работа]
+
 
+
Дедлайн 11 февраля включительно, после дедлайна решения будут закоммичены. При необходимости, разберем решения на семинаре.
+
 
+
Результаты проверки можно найти по
+
[https://docs.google.com/spreadsheets/d/e/2PACX-1vQ4rxFIzvd13brUQ1iYnH9FyOBubhDMYODSZ484qqTEQH0nCB-sukkSXmIsA24Wvv9sKKmDqZQi1qIP/pubhtml?gid=251160832&single=false# ссылке].
+
 
+
 
+
[https://github.com/DanielRrr/HSEHaskellCourse/tree/master/02/ Вторая домашняя работа]
+
 
+
Мягкий дедлайн 10 марта включительно, жесткий дедлайн 12 марта включительно.
+
 
+
[https://vanzef.github.io/hse-cs-fp-s19/criteria.html Критерии проверки.]
+
  
 
=== Теоретическая контрольная работа ===
 
=== Теоретическая контрольная работа ===

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

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

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

Материалы

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