Просмотр исходного текста страницы Функциональное программирование 2MIT осень 2020

== Лекции ==
Преподаватель: Москвин Денис Николаевич <code>dmoskvin@gmail.com</code>

Пожалуйста, указывайте в теме письма FPHSE.

[[Медиа:QExamHSE2020.pdf|Вопросы к экзамену]]

[https://docs.google.com/spreadsheets/d/10jLNht6WuQ8OByGI1Udd0cS9ojEep3oEWYiQWHUMtnM/edit#gid=927409064 Ссылка для записи на экзамен для Группы 1 (17.12.2020)]

[https://docs.google.com/spreadsheets/d/10jLNht6WuQ8OByGI1Udd0cS9ojEep3oEWYiQWHUMtnM/edit#gid=0 Ссылка для записи на экзамен для Группы 2 (15.12.2020)]


=== Слайды ===

'''Модуль 1''' 

[[Медиа:Fpc01HSE2020.pdf|Лекция 1. Лямбда-исчисление]] 04.09.2020 (пт) 9:30-10:50 online

[[Медиа:Fpc02HSE2020.pdf|Лекция 2. Рекурсия и редукция]] 11.09.2020 (пт) 9:30-10:50 online

[[Медиа:Fpc03HSE2020.pdf|Лекция 3. Просто типизированное лямбда-исчисление]] 18.09.2020 (пт) 9:30-10:50 online

[[Медиа:Fpc04HSE2020.pdf|Лекция 4. Введение в Haskell]] 25.09.2020 (пт) 9:30-10:50 online 
([https://gist.github.com/deniok/a6883602c323d3237293492ca9319115 исходный код со слайдов])

[[Медиа:Fpc05HSE2020.pdf|Лекция 5. Типы данных]] 02.10.2020 (пт) '''8:50'''-10:50 online
([https://gist.github.com/deniok/43e48f8eea5c4766cda72afc7800f1cf исходный код со слайдов])

[[Медиа:Fpc06HSE2020.pdf|Лекция 6. Классы типов]]  09.10.2020 (пт) 9:30-10:50 online
([https://gist.github.com/deniok/5c93628c762df8a11ebfe57db676898b исходный код со слайдов])

[[Медиа:Fpc07HSE2020.pdf|Лекция 7. Свертки]]  16.10.2020 (пт) 9:30-10:50 online
([https://gist.github.com/deniok/19c37babda0f721598d47e0f565fc263 исходный код со слайдов])

'''Модуль 2''' 

[[Медиа:Fpc08HSE2020.pdf|Лекция 8. Аппликативные функторы]] 06.11.2020 (пт) 9:30-10:50 online
([https://gist.github.com/deniok/18d7320c1c6136fed32a0bd6b58cc48f исходный код со слайдов])

[[Медиа:Fpc09HSE2020.pdf|Лекция 9. Использование аппликативных функторов]] 13.11.2020 (пт) 9:30-10:50 online
([https://gist.github.com/deniok/bca73d29cca59f73ec92748a780bd42b исходный код со слайдов])

[[Медиа:Fpc10HSE2020.pdf|Лекция 10. Монады]] 20.11.2020 (пт) 9:30-10:50 online
([https://gist.github.com/deniok/59704716199fefaa7e0068723f75525f исходный код со слайдов])

[[Медиа:Fpc11HSE2020.pdf|Лекция 11. Стандартные монады]] 26.11.2020 (чт) 9:30-10:50 online
([https://gist.github.com/deniok/f47319136b07093269ecf7a017086b95 исходный код со слайдов])

[[Медиа:Fpc12HSE2020.pdf|Лекция 12. Трансформеры монад]]  27.11.2020 (пт) 9:30-10:50 online
([https://gist.github.com/deniok/dbd90777da0212aa7671002be8875abd исходный код со слайдов], [https://gist.github.com/deniok/40f85fde4174f2c0d702d3db7b128723 еще])

[[Медиа:Fpc13HSE2020.pdf|Лекция 13. Алгоритм вывода типов]] 03.12.2020 (чт) 9:30-10:50 online

[[Медиа:Fpc14HSE2020.pdf|Лекция 14. Рекурсивные типы]] 04.12.2020 (пт) 9:30-10:50 online
([https://gist.github.com/deniok/346cab59c4dcd6e5968f956ab7f76c58 исходный код со слайдов])

[[Медиа:Fpc15HSE2020.pdf|Лекция 15. Молнии и линзы]] 11.12.2020 (пт) 9:30-10:50 online
([https://gist.github.com/deniok/af016087c5689e411137c170dbca4668 исходный код со слайдов: зипперы], 
[https://gist.github.com/deniok/19311094b31cfe3d3e88a97c8d7de2da реализация линз ван Ларховена], 
[https://gist.github.com/deniok/a6f61ef1d4e31adfcf96780dd17e8c97 работа со стандартными линзами])

=== Полезные ссылки ===

[https://hoogle.haskell.org/ Hoogle]

[https://wiki.haskell.org/Typeclassopedia Typeclassopedia]

[https://www.haskell.org/onlinereport/haskell2010/ Haskell 2010 Language Report]

[http://learnyouahaskell.com/chapters Learn You a Haskell for Great Good!]

Полезными могут оказаться конспекты лекций по [[Медиа:textLC20200831.pdf|теоретической]] и [[Медиа:textHASK20200831.pdf|практической]] частям курса.
Это расширенные версии слайдов, с дополнительными примерами и рассуждениями. (Предупреждение: они неполные и представляют собой раннюю альфу!)

== Практика Москвин ==

Преподаватель: Москвин Денис Николаевич <code>dmoskvin@gmail.com</code>

Пожалуйста, указывайте в теме письма FPHSE.

=== Текущая успеваемость ===

[https://docs.google.com/spreadsheets/d/1aWfSjTiO1b974yEt6FsDs0HE-lRzIHQqaZSl-tvM5qE/edit?usp=sharing Таблица с результатами]

Проценты переводятся в баллы следующей функцией

 score :: Int -> Int
 score proc
  | proc < 58 = 0
  | proc > 98 = 10
  | otherwise = (proc - 58) `div` 4

 GHCi> map ((,) <*> score) [100,99..61]  
 [(100,10),(99,10),(98,10),(97,9),(96,9),(95,9),(94,9),(93,8),(92,8),(91,8),(90,8),(89,7),(88,7),(87,7),(86,7),(85,6),(84,6),(83,6),(82,6),(81,5),(80,5),(79,5),(78,5),(77,4),(76,4),(75,4),(74,4),(73,3),(72,3),(71,3), (70,3),(69,2),(68,2),(67,2),(66,2),(65,1),(64,1),(63,1),(62,1),(61,0)]

=== Haskell: рекомендации по установке ===

Для установки Haskell под Linux и Mac удобнее всего использовать [https://www.haskell.org/ghcup/ утилиту ghcup].

Для установки под Windows я в настоящий момент рекомендую скачать и запустить [https://downloads.haskell.org/platform/8.6.5/ установщик Haskell Platform 8.6.5].
Хотя эта версия годичной давности, для наших учебных целей она вполне подойдет. 


=== Домашние задания на stepik.org ===

Для выполнения домашних заданий по Haskell следует:

Если вы ранее не обучались на Stepik, зарегистрироваться [https://stepik.org/accounts/signup/ тут]. 
Настоятельная просьба - указать идентификационные данные, позволяющие опознавать вас без сложных исследований.

Перейти по ссылке-приглашению на курс: [https://stepik.org/invitation/14df33f2a198eecbc8d9643e5d07b2e89d6d490c/ ссылка только группы 1 (практические занятия ведет Москвин)].

Модули с текущим домашним заданием будут становиться доступными по мере прохождения курса, дедлайны будут видны там же.

Отметим, что проверяющая система на Stepik использует GHC 8.0.2. Не пользуйтесь, пожалуйста, при сдаче домашних заданий более новыми расширениями языка и библиотек.


=== Материалы ===

[[Медиа:Fpc01prHSE2020.pdf|Практика 1. Чистое лямбда-исчисление как язык программирования]] 07.09.2020 (пн) 14:40-16:00 online

[[Медиа:Fpc01taskHSE2020.tex|ДЗ 1. Исходник в TeX]] (предпочтительный формат сдаваемого ДЗ - pdf)

Мягкий дедлайн 13.09.2020 22:00. При наличии ошибок можно 1 раз переделать до жесткого дедлайна.

Жесткий дедлайн 14.09.2020 14:40. Решения, присланные после этого срока, не проверяются.


[[Медиа:Fpc02prHSE2020.pdf|Практика 2. Рекурсия и редукция]] 14.09.2020 (пн) '''18:10-19:30 online'''

[[Медиа:Fpc02taskHSE2020.tex|ДЗ 2. Исходник в TeX]] (предпочтительный формат сдаваемого ДЗ - pdf)

Мягкий дедлайн 20.09.2020 22:00. При наличии ошибок можно 1 раз переделать до жесткого дедлайна.

Жесткий дедлайн 21.09.2020 '''18:10'''. Решения, присланные после этого срока, не проверяются.


[[Медиа:Fpc03prHSE2020.pdf|Практика 3. Просто типизированное лямбда-исчисление]] 21.09.2020 (пн) 18:10-19:30 online

[[Медиа:Fpc03taskHSE2020.tex|ДЗ 3. Исходник в TeX]] (предпочтительный формат сдаваемого ДЗ - pdf)

Мягкий дедлайн 27.09.2020 22:00. При наличии ошибок можно 1 раз переделать до жесткого дедлайна.

Жесткий дедлайн 28.09.2020 18:10. Решения, присланные после этого срока, не проверяются.


[[Медиа:Fpc04prHSE2020.pdf|Практика 4. Введение в Haskell]] 28.09.2020 (пн) 18:10-19:30 online

[[Медиа:Fpc05prHSE2020.pdf|Практика 5. Стандартные списки]] 05.10.2020 (пн) 18:10-19:30 online

[[Медиа:Fpc06prHSE2020.pdf|Практика 6. Классы типов]]  12.10.2020 (пн) 18:10-19:30  online

[[Медиа:Fpc07prHSE2020.pdf|Практика 7. Полугруппы, моноиды, свертки]]  '''05.11.2020 (чт) 11:10-12:30 (ДОПОЛНИТЕЛЬНОЕ ЗАНЯТИЕ)''' online

[[Медиа:Fpc08prHSE2020.pdf|Практика 8. Аппликативные функторы]] 06.11.2020 (пт) 15:00-16:20 online

[[Медиа:Fpc09prHSE2020.pdf|Практика 9. Траверсы, парсеры, моноидальные функторы]] 13.11.2020 (пт) 15:00-16:20 online

[[Медиа:Fpc10prHSE2020.pdf|Практика 10. Монады]] 
([https://gist.github.com/deniok/c9a54a5609fa21dbacb765477d93529b исходник для практики]) 
20.11.2020 (пт) 15:00-16:20 online

[[Медиа:Fpc11prHSE2020.pdf|Практика 11. Стандартные монады]] 
([https://gist.github.com/deniok/ed5bf340a97fe4f09468192fea0636bb исходник для практики]) 
27.11.2020 (пт) 15:00-16:20 online

[[Медиа:Fpc12prHSE2020.pdf|Практика 12. Трансформеры монад]] 
([https://gist.github.com/deniok/25f19ac9883fb315f7222a75a8c9fa52 исходник для практики]) 
01.12.2020 (вт) 10:30-11:50 online

[[Медиа:Fpc13prHSE2020.pdf|Практика 13. Алгоритм вывода типов]] 
04.12.2020 (пт) 15:00-16:20 online

[[Медиа:Fpc14prHSE2020.pdf|Практика 14. Рекурсивные типы]] 
([https://gist.github.com/deniok/5a3f4674c2c9eaa19f522d1421126ee3 исходник для практики]) 
08.12.2020 (вт) 10:30-11:50 online

[[Медиа:Fpc15prHSE2020.pdf|Практика 15. Молнии и линзы]] 
([https://gist.github.com/deniok/b3239c62a1587240cc02fa08b8a60d85 исходник для практики: зипперы],
[https://gist.github.com/deniok/8e61aa40cfd6683d969ecccff81a64cf исходник для практики: линзы])
11.12.2020 (пт) 15:00-16:20 online

Практика 16. Тестирование '''13.12.2020 (вс) 11:00-12:30''' online, Stepik!!!

== Практика Кайсин ==

Кайсин Илья Сергеевич <code>[https://t.me/dmrkk @dmrkk]</code>, <code>[mailto:demarkok@gmail.com demarkok@gmail.com]</code>

[https://docs.google.com/spreadsheets/d/15U4l3TITEYWjhKs49d65y5-t-Gw492kkb4h2C_ckBiY/edit#gid=144139225 Табличка с результатами]

=== Инструкция по сдаче ===

Для первых трёх заданий:
# Заполните (??) в файле с заданием
# Отправьте на  <code>[mailto:demarkok@gmail.com demarkok@gmail.com]</code> с темой hw01/hw02/hw03
# Основная часть простая, поэтому если с чем-то трудности, обязательно пишите на <code>[https://t.me/dmrkk @dmrkk]</code>
# Звёздочки - это сложность
# Исправлять до мягкого дедлайна можно несколько раз

=== Практики и задания ===
# [[Медиа:Ilya-pract01.zip|Практика 1]], [[Медиа:Ilya-hw01.zip|Домашнее задание 1]] ('''Жесткий дедлайн 14.09.2020 14:40''', '''Мягкий дедлайн 13.09.2020 14:40''')
# [[Медиа:Pract02.zip|Практика 2]], [[Медиа:Ilya-hw02-v2.zip|Домашнее задание 2]] ('''Жёсткий дедлайн 21.09.2020 14:40''', '''Мягкий дедлайн 20.09.2020 14:40''')
# Практика как у первой группы, [[Медиа:Ilya-hw03.zip|Домашнее задание 2]] ('''Жёсткий дедлайн 28.09.2020 14:40''', '''Мягкий дедлайн 27.09.2020 23:00''')

== Практика Алфёров ==

Почта для домашек: [mailto:vasily.v.alferov@gmail.com vasily.v.alferov@gmail.com]

Телега для телег: [https://t.me/vasiliyalferov @vasiliyalferov]

[https://docs.google.com/spreadsheets/d/15U4l3TITEYWjhKs49d65y5-t-Gw492kkb4h2C_ckBiY/edit?usp=sharing Результаты]

=== Правила игры ===

* Оценка определяется отношением числа набранных баллов к сумме баллов за обязательные задачи.
* В конце семестра я выберу число <code>a</code> между 0.5 и 0.65.
** Студент с указанным отношением, меньшим <code>a</code>, получает оценку 0.
** Доля баллов <code>a</code> соответствует оценке 0, доля баллов 1 соответствует оценке 10, между ними оценка мапится линейно.
** Округление — вниз.
** 0.58 — хорошее начальное приближение числа <code>a</code>.
* Оценка за практику не является блокирующей.

=== Материалы ===

* Практика 07.09 (лямбда-исчисление). 
** Задачи: как в первой группе.
** ДЗ — задачи с последней страницы документа с практики.
** Мягкий дедлайн: 13.09 22:00, жёсткий дедлайн: 14.09 14:40.
** Обещанный разбор задач про числа Чёрча: [[Медиа:Fp2020_01_church.pdf|тык]].

* Пратика 14.09 (рекурсия).
** Задачи: как в первой группе.
** ДЗ: [[Медиа:FP_2020_2MIT_HW02.pdf|тык]].
** Исходник ДЗ (TeX): [[Медиа:FP_2020_2MIT_HW02.tex|тык]] (необязательный, но пусть будет).
** Мягкий дедлайн: 20.09 22:00, жёсткий дедлайн: 21.09 14:40.

* Практика 21.09 (просто типизированное лямбда-исчисление)
** Задачи: как в первой группе.
** ДЗ: [[Медиа:FP_2020_2MIT_HW03.pdf|тык]].
** Исходник ДЗ (TeX): [[Медиа:FP_2020_2MIT_HW03.tex|тык]] (необязательный, но пусть будет).
** Мягкий дедлайн: 27.09 22:00, жёсткий дедлайн: 28.09 14:40.

== Практика Жаворонков ==

[mailto:edzhavoronkov@gmail.com Почта]

[https://t.me/EdgarZhavoronkov Телега]

[http://docs.google.com/spreadsheets/d/15U4l3TITEYWjhKs49d65y5-t-Gw492kkb4h2C_ckBiY Таблица с успеваемостью]

=== Материалы с занятий и домашние задания: ===

* [[Медиа:Fp-2020-sem01.zip|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 13.09.2020 21:00:00''')
* [[Медиа:Fp-2020-sem02.zip|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 20.09.2020 21:00:00''')
* [[Медиа:Fp-2020-sem03.zip|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 27.09.2020 21:00:00''')
* [[Медиа:Fp-2020-sem04.zip|Код с пары 28.09.2020]]
* [[Медиа:Fp-2020-sem05.zip|Код с пары 05.10.2020]]
* [[Медиа:Fp-2020-sem06.zip|Код с пары 12.10.2020]]
* [[Медиа:Fp-2020-sem07.zip|Код с пары 05.11.2020]]
* [[Медиа:Fp-2020-sem08.zip|Код с пары 06.11.2020]]
* [[Медиа:Fp-2020-sem09.zip|Код с пары 13.11.2020]]
* [[Медиа:Fp-2020-sem10.zip|Код с пары 20.11.2020]]
* [[Медиа:Fp-2020-sem11.zip|Код с пары 27.11.2020]]
* [[Медиа:Fp-2020-sem12.zip|Код c пары 01.12.2020 и 04.12.2020]]
* [[Медиа:Fp-2020-sem14.zip|Код с пары 08.12.2020]]
* [[Медиа:Fp-2020-sem15.zip|Код с пары 11.12.2020]]

=== Правила игры и прочее ===
==== Сдача домашних заданий ====

* Первые три -- мне на почту. Формат -- pdf(LaTeX)
* Следующие -- в приватный курс на степике. Если не зарегистрированы, то зарегистрируйтесь и укажите свои настоящие инициалы. Ссылка-инвайт на курс --[https://stepik.org/invitation/1c9d27b77853f159f646b12bb343a3415002d7a2/ тык]

==== Дедлайны ====

* Мягкий -- указан в строке с соответствующим заданием. Если присылаете до него -- я смотрю, отвечаю и можно один раз прислать исправления.
* Жесткий -- наступает в момент начала пары. Присылать после мягкого, но до жесткого дедлайна можно и нужно, я не снижаю баллы, но не гарантирую, что буду принимать исправления

==== Оценка за практику ====

Оценка за практику расчитывается по таблице ниже

{| class="wikitable"
|-
|%
|баллов из 10
|-
|64
|2
|-
|65
|3
|-
|67
|4
|-
|70
|5
|-
|75
|6
|-
|80
|7
|-
|85
|8
|-
|90
|9
|-
|98
|10
|}