SEWiki - Вклад участника [ru]

ФП 5SE осень 2017

2017-12-20T19:31:20Z

Shabalyn.alexander: /* Практика Шабалин */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

Начиная с 4-го занятия потребуются компьютеры. На них нужно поставить stack: https://docs.haskellstack.org/en/stable/README/#how-to-install

Еще желательно заранее создать рабочую папку с проектом (чтобы stack автоматом скачал необходимые библиотеки и компилятор):
<nowiki>
> stack new classwork simple
> cd classwork
> stack setup
> stack build</nowiki>
Здесь classwork – название проекта (и, как следствие, папки с проектом), а simple – template, по которому сгенерировать проект (по умолчанию используется другой, где проект разбивается на приложение, библиотеку и тесты; нам это сейчас не нужно)

Дока с планами всех практик: https://docs.google.com/document/d/10oe6QO28qXiBBOdsYEc2Qu6hSBOaSwQrT2AMyLePwvk/edit?usp=sharing

===Код с пар===
# 11.10.2017: https://gist.github.com/projedi/490e8c76db5cd09c7838e4c62fa6eefc
# 18.10.2017: https://gist.github.com/projedi/36ef298f9a457cac5ecce3d9b46110d4
# 8.11.2017: https://gist.github.com/projedi/f436148804bbf8f3891b5d73239502a9
# 15.11.2017: https://gist.github.com/projedi/e78d1ab7de3904ad0f417de189c11b0c
# 22.11.2017: https://gist.github.com/projedi/0cdb8d6f2af6854192037769cdee644d
# 29.11.2017: https://gist.github.com/projedi/8320e35887c95b06f729cabe9eaedc46
# 13.12.2017: https://gist.github.com/projedi/36f57d713a76fcfe386fb390fb1b6b85
# 20.12.2017: https://gist.github.com/projedi/50a00d08d0f9805a3b394d227f9b3b2b

===Домашние задания===
Табличка с результатами: https://docs.google.com/spreadsheets/d/1qnKuNN3FTIZqInoWOL0i02NeEv3mT4XwPp8_HUMsDes/edit?usp=sharing
Инвайт на курс в степике: https://stepik.org/invitation/01319ce7dc3fe58dc06457cf4ed7c029beacd70e/
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017
# https://stepik.org/lesson/57527/step/1?unit=35283 дедлайн: 6.10.2017
# https://stepik.org/lesson/57528/step/1?unit=35284 дедлайн: 13.10.2017
# https://stepik.org/lesson/57530/step/1?unit=35286 дедлайн: 20.10.2017

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

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

=== Контакты: ===

* [mailto:edzhavoronkov+au-fp5-fall2017@gmail.com Почта]
* [https://t.me/EdgarZhavoronkov Telegram]

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 26.09.2017 23:59''')
* Код с пары 27.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 04.10]]
* [[Медиа:Sem06.zip|Код с пары 11.10]]
* [[Медиа:Sem07.zip|Код с пары 18.10]]
* [[Медиа:Sem08.zip|Код с пары 25.10]]
* [[Медиа:Sem09.zip|Код с пары 8.11]]
* [[Медиа:Sem10.zip|Код с пары 15.11]]
* [[Медиа:Sem11.zip|Код с пары 22.11]]
* [[Медиа:Sem12.zip|Код с пары 29.11]]
* [[Медиа:Sem13.zip|Код с пары 6.12 -- заготовка]]
* [[Медиа:Sem14.zip|Код с пары 13.12]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

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

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

На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.

==== Зачет ====

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

== Дополнительные материалы ==
=== Полезные ссылки ===
* [https://gist.github.com/CMCDragonkai/fab0980b3325e8a788c9 Небольшая запись с объяснением Numeric Typeclasses и их красивой диаграммой.]
* [http://dev.stephendiehl.com/editor_talk.html Configure your ghci]
* [https://habrahabr.ru/post/183150/ Функторы, аппликативные функторы и монады на пальцах]
=== Книги ===

* [http://www.nsu.ru/xmlui/bitstream/handle/nsu/8874/Harrison.pdf Введение в функциональное программирование, John Harrison]

* [http://inis.jinr.ru/sl/vol2/Mathematics/%D0%9C%D0%B0%D1%82.%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%9B%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5,1985.pdf Ламбда-исчисление, Барендрегт]

ФП 5SE осень 2017

2017-12-20T13:11:55Z

Shabalyn.alexander: /* Код с пар */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

Начиная с 4-го занятия потребуются компьютеры. На них нужно поставить stack: https://docs.haskellstack.org/en/stable/README/#how-to-install

Еще желательно заранее создать рабочую папку с проектом (чтобы stack автоматом скачал необходимые библиотеки и компилятор):
<nowiki>
> stack new classwork simple
> cd classwork
> stack setup
> stack build</nowiki>
Здесь classwork – название проекта (и, как следствие, папки с проектом), а simple – template, по которому сгенерировать проект (по умолчанию используется другой, где проект разбивается на приложение, библиотеку и тесты; нам это сейчас не нужно)

===Код с пар===
# 11.10.2017: https://gist.github.com/projedi/490e8c76db5cd09c7838e4c62fa6eefc
# 18.10.2017: https://gist.github.com/projedi/36ef298f9a457cac5ecce3d9b46110d4
# 8.11.2017: https://gist.github.com/projedi/f436148804bbf8f3891b5d73239502a9
# 15.11.2017: https://gist.github.com/projedi/e78d1ab7de3904ad0f417de189c11b0c
# 22.11.2017: https://gist.github.com/projedi/0cdb8d6f2af6854192037769cdee644d
# 29.11.2017: https://gist.github.com/projedi/8320e35887c95b06f729cabe9eaedc46
# 13.12.2017: https://gist.github.com/projedi/36f57d713a76fcfe386fb390fb1b6b85
# 20.12.2017: https://gist.github.com/projedi/50a00d08d0f9805a3b394d227f9b3b2b

===Домашние задания===
Табличка с результатами: https://docs.google.com/spreadsheets/d/1qnKuNN3FTIZqInoWOL0i02NeEv3mT4XwPp8_HUMsDes/edit?usp=sharing
Инвайт на курс в степике: https://stepik.org/invitation/01319ce7dc3fe58dc06457cf4ed7c029beacd70e/
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017
# https://stepik.org/lesson/57527/step/1?unit=35283 дедлайн: 6.10.2017
# https://stepik.org/lesson/57528/step/1?unit=35284 дедлайн: 13.10.2017
# https://stepik.org/lesson/57530/step/1?unit=35286 дедлайн: 20.10.2017

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

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

=== Контакты: ===

* [mailto:edzhavoronkov+au-fp5-fall2017@gmail.com Почта]
* [https://t.me/EdgarZhavoronkov Telegram]

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 26.09.2017 23:59''')
* Код с пары 27.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 04.10]]
* [[Медиа:Sem06.zip|Код с пары 11.10]]
* [[Медиа:Sem07.zip|Код с пары 18.10]]
* [[Медиа:Sem08.zip|Код с пары 25.10]]
* [[Медиа:Sem09.zip|Код с пары 8.11]]
* [[Медиа:Sem10.zip|Код с пары 15.11]]
* [[Медиа:Sem11.zip|Код с пары 22.11]]
* [[Медиа:Sem12.zip|Код с пары 29.11]]
* [[Медиа:Sem13.zip|Код с пары 6.12 -- заготовка]]
* [[Медиа:Sem14.zip|Код с пары 13.12]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

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

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

На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.

==== Зачет ====

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

== Дополнительные материалы ==
=== Полезные ссылки ===
* [https://gist.github.com/CMCDragonkai/fab0980b3325e8a788c9 Небольшая запись с объяснением Numeric Typeclasses и их красивой диаграммой.]
* [http://dev.stephendiehl.com/editor_talk.html Configure your ghci]
* [https://habrahabr.ru/post/183150/ Функторы, аппликативные функторы и монады на пальцах]
=== Книги ===

* [http://www.nsu.ru/xmlui/bitstream/handle/nsu/8874/Harrison.pdf Введение в функциональное программирование, John Harrison]

* [http://inis.jinr.ru/sl/vol2/Mathematics/%D0%9C%D0%B0%D1%82.%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%9B%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5,1985.pdf Ламбда-исчисление, Барендрегт]

ФП 5SE осень 2017

2017-12-13T13:07:51Z

Shabalyn.alexander: /* Код с пар */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

Начиная с 4-го занятия потребуются компьютеры. На них нужно поставить stack: https://docs.haskellstack.org/en/stable/README/#how-to-install

Еще желательно заранее создать рабочую папку с проектом (чтобы stack автоматом скачал необходимые библиотеки и компилятор):
<nowiki>
> stack new classwork simple
> cd classwork
> stack setup
> stack build</nowiki>
Здесь classwork – название проекта (и, как следствие, папки с проектом), а simple – template, по которому сгенерировать проект (по умолчанию используется другой, где проект разбивается на приложение, библиотеку и тесты; нам это сейчас не нужно)

===Код с пар===
# 11.10.2017: https://gist.github.com/projedi/490e8c76db5cd09c7838e4c62fa6eefc
# 18.10.2017: https://gist.github.com/projedi/36ef298f9a457cac5ecce3d9b46110d4
# 8.11.2017: https://gist.github.com/projedi/f436148804bbf8f3891b5d73239502a9
# 15.11.2017: https://gist.github.com/projedi/e78d1ab7de3904ad0f417de189c11b0c
# 22.11.2017: https://gist.github.com/projedi/0cdb8d6f2af6854192037769cdee644d
# 29.11.2017: https://gist.github.com/projedi/8320e35887c95b06f729cabe9eaedc46
# 13.12.2017: https://gist.github.com/projedi/36f57d713a76fcfe386fb390fb1b6b85

===Домашние задания===
Табличка с результатами: https://docs.google.com/spreadsheets/d/1qnKuNN3FTIZqInoWOL0i02NeEv3mT4XwPp8_HUMsDes/edit?usp=sharing
Инвайт на курс в степике: https://stepik.org/invitation/01319ce7dc3fe58dc06457cf4ed7c029beacd70e/
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017
# https://stepik.org/lesson/57527/step/1?unit=35283 дедлайн: 6.10.2017
# https://stepik.org/lesson/57528/step/1?unit=35284 дедлайн: 13.10.2017
# https://stepik.org/lesson/57530/step/1?unit=35286 дедлайн: 20.10.2017

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

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

=== Контакты: ===

* [mailto:edzhavoronkov+au-fp5-fall2017@gmail.com Почта]
* [https://t.me/EdgarZhavoronkov Telegram]

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 26.09.2017 23:59''')
* Код с пары 27.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 04.10]]
* [[Медиа:Sem06.zip|Код с пары 11.10]]
* [[Медиа:Sem07.zip|Код с пары 18.10]]
* [[Медиа:Sem08.zip|Код с пары 25.10]]
* [[Медиа:Sem09.zip|Код с пары 8.11]]
* [[Медиа:Sem10.zip|Код с пары 15.11]]
* [[Медиа:Sem11.zip|Код с пары 22.11]]
* [[Медиа:Sem12.zip|Код с пары 29.11]]
* [[Медиа:Sem13.zip|Код с пары 6.12 -- заготовка]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

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

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

На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.

==== Зачет ====

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

== Дополнительные материалы ==
=== Полезные ссылки ===
* [https://gist.github.com/CMCDragonkai/fab0980b3325e8a788c9 Небольшая запись с объяснением Numeric Typeclasses и их красивой диаграммой.]
* [http://dev.stephendiehl.com/editor_talk.html Configure your ghci]
* [https://habrahabr.ru/post/183150/ Функторы, аппликативные функторы и монады на пальцах]
=== Книги ===

* [http://www.nsu.ru/xmlui/bitstream/handle/nsu/8874/Harrison.pdf Введение в функциональное программирование, John Harrison]

* [http://inis.jinr.ru/sl/vol2/Mathematics/%D0%9C%D0%B0%D1%82.%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%9B%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5,1985.pdf Ламбда-исчисление, Барендрегт]

ФП 5SE осень 2017

2017-11-29T14:20:35Z

Shabalyn.alexander: /* Код с пар */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

Начиная с 4-го занятия потребуются компьютеры. На них нужно поставить stack: https://docs.haskellstack.org/en/stable/README/#how-to-install

Еще желательно заранее создать рабочую папку с проектом (чтобы stack автоматом скачал необходимые библиотеки и компилятор):
<nowiki>
> stack new classwork simple
> cd classwork
> stack setup
> stack build</nowiki>
Здесь classwork – название проекта (и, как следствие, папки с проектом), а simple – template, по которому сгенерировать проект (по умолчанию используется другой, где проект разбивается на приложение, библиотеку и тесты; нам это сейчас не нужно)

===Код с пар===
# 11.10.2017: https://gist.github.com/projedi/490e8c76db5cd09c7838e4c62fa6eefc
# 18.10.2017: https://gist.github.com/projedi/36ef298f9a457cac5ecce3d9b46110d4
# 8.11.2017: https://gist.github.com/projedi/f436148804bbf8f3891b5d73239502a9
# 15.11.2017: https://gist.github.com/projedi/e78d1ab7de3904ad0f417de189c11b0c
# 22.11.2017: https://gist.github.com/projedi/0cdb8d6f2af6854192037769cdee644d
# 29.11.2017: https://gist.github.com/projedi/8320e35887c95b06f729cabe9eaedc46

===Домашние задания===
Табличка с результатами: https://docs.google.com/spreadsheets/d/1qnKuNN3FTIZqInoWOL0i02NeEv3mT4XwPp8_HUMsDes/edit?usp=sharing
Инвайт на курс в степике: https://stepik.org/invitation/01319ce7dc3fe58dc06457cf4ed7c029beacd70e/
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017
# https://stepik.org/lesson/57527/step/1?unit=35283 дедлайн: 6.10.2017
# https://stepik.org/lesson/57528/step/1?unit=35284 дедлайн: 13.10.2017
# https://stepik.org/lesson/57530/step/1?unit=35286 дедлайн: 20.10.2017

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

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

=== Контакты: ===

* [mailto:edzhavoronkov+au-fp5-fall2017@gmail.com Почта]
* [https://t.me/EdgarZhavoronkov Telegram]

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 26.09.2017 23:59''')
* Код с пары 27.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 04.10]]
* [[Медиа:Sem06.zip|Код с пары 11.10]]
* [[Медиа:Sem07.zip|Код с пары 18.10]]
* [[Медиа:Sem08.zip|Код с пары 25.10]]
* [[Медиа:Sem09.zip|Код с пары 8.11]]
* [[Медиа:Sem10.zip|Код с пары 15.11]]
* [[Медиа:Sem11.zip|Код с пары 22.11]]
* [[Медиа:Sem12.zip|Код с пары 29.11]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

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

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

На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.

==== Зачет ====

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

== Дополнительные материалы ==
=== Полезные ссылки ===
* [https://gist.github.com/CMCDragonkai/fab0980b3325e8a788c9 Небольшая запись с объяснением Numeric Typeclasses и их красивой диаграммой.]
* [http://dev.stephendiehl.com/editor_talk.html Configure your ghci]
* [https://habrahabr.ru/post/183150/ Функторы, аппликативные функторы и монады на пальцах]
=== Книги ===

* [http://www.nsu.ru/xmlui/bitstream/handle/nsu/8874/Harrison.pdf Введение в функциональное программирование, John Harrison]

* [http://inis.jinr.ru/sl/vol2/Mathematics/%D0%9C%D0%B0%D1%82.%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%9B%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5,1985.pdf Ламбда-исчисление, Барендрегт]

ФП 5SE осень 2017

2017-11-23T13:50:26Z

Shabalyn.alexander: /* Код с пар */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

Начиная с 4-го занятия потребуются компьютеры. На них нужно поставить stack: https://docs.haskellstack.org/en/stable/README/#how-to-install

Еще желательно заранее создать рабочую папку с проектом (чтобы stack автоматом скачал необходимые библиотеки и компилятор):
<nowiki>
> stack new classwork simple
> cd classwork
> stack setup
> stack build</nowiki>
Здесь classwork – название проекта (и, как следствие, папки с проектом), а simple – template, по которому сгенерировать проект (по умолчанию используется другой, где проект разбивается на приложение, библиотеку и тесты; нам это сейчас не нужно)

===Код с пар===
# 11.10.2017: https://gist.github.com/projedi/490e8c76db5cd09c7838e4c62fa6eefc
# 18.10.2017: https://gist.github.com/projedi/36ef298f9a457cac5ecce3d9b46110d4
# 8.11.2017: https://gist.github.com/projedi/f436148804bbf8f3891b5d73239502a9
# 15.11.2017: https://gist.github.com/projedi/e78d1ab7de3904ad0f417de189c11b0c
# 22.11.2017: https://gist.github.com/projedi/0cdb8d6f2af6854192037769cdee644d

===Домашние задания===
Табличка с результатами: https://docs.google.com/spreadsheets/d/1qnKuNN3FTIZqInoWOL0i02NeEv3mT4XwPp8_HUMsDes/edit?usp=sharing
Инвайт на курс в степике: https://stepik.org/invitation/01319ce7dc3fe58dc06457cf4ed7c029beacd70e/
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017
# https://stepik.org/lesson/57527/step/1?unit=35283 дедлайн: 6.10.2017
# https://stepik.org/lesson/57528/step/1?unit=35284 дедлайн: 13.10.2017
# https://stepik.org/lesson/57530/step/1?unit=35286 дедлайн: 20.10.2017

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

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

=== Контакты: ===

* [mailto:edzhavoronkov+au-fp5-fall2017@gmail.com Почта]
* [https://t.me/EdgarZhavoronkov Telegram]

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 26.09.2017 23:59''')
* Код с пары 27.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 04.10]]
* [[Медиа:Sem06.zip|Код с пары 11.10]]
* [[Медиа:Sem07.zip|Код с пары 18.10]]
* [[Медиа:Sem08.zip|Код с пары 25.10]]
* [[Медиа:Sem09.zip|Код с пары 8.11]]
* [[Медиа:Sem10.zip|Код с пары 15.11]]
* [[Медиа:Sem11.zip|Код с пары 22.11]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

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

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

На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.

==== Зачет ====

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее 75% от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

== Дополнительные материалы ==
=== Полезные ссылки ===
* [https://gist.github.com/CMCDragonkai/fab0980b3325e8a788c9 Небольшая запись с объяснением Numeric Typeclasses и их красивой диаграммой.]
* [http://dev.stephendiehl.com/editor_talk.html Configure your ghci]
* [https://habrahabr.ru/post/183150/ Функторы, аппликативные функторы и монады на пальцах]
=== Книги ===

* [http://www.nsu.ru/xmlui/bitstream/handle/nsu/8874/Harrison.pdf Введение в функциональное программирование, John Harrison]

* [http://inis.jinr.ru/sl/vol2/Mathematics/%D0%9C%D0%B0%D1%82.%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%9B%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5,1985.pdf Ламбда-исчисление, Барендрегт]

ФП 5SE осень 2017

2017-11-15T14:12:24Z

Shabalyn.alexander: /* Код с пар */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

Начиная с 4-го занятия потребуются компьютеры. На них нужно поставить stack: https://docs.haskellstack.org/en/stable/README/#how-to-install

Еще желательно заранее создать рабочую папку с проектом (чтобы stack автоматом скачал необходимые библиотеки и компилятор):
<nowiki>
> stack new classwork simple
> cd classwork
> stack setup
> stack build</nowiki>
Здесь classwork – название проекта (и, как следствие, папки с проектом), а simple – template, по которому сгенерировать проект (по умолчанию используется другой, где проект разбивается на приложение, библиотеку и тесты; нам это сейчас не нужно)

===Код с пар===
# 11.10.2017: https://gist.github.com/projedi/490e8c76db5cd09c7838e4c62fa6eefc
# 18.10.2017: https://gist.github.com/projedi/36ef298f9a457cac5ecce3d9b46110d4
# 8.11.2017: https://gist.github.com/projedi/f436148804bbf8f3891b5d73239502a9
# 15.11.2017: https://gist.github.com/projedi/e78d1ab7de3904ad0f417de189c11b0c

===Домашние задания===
Табличка с результатами: https://docs.google.com/spreadsheets/d/1qnKuNN3FTIZqInoWOL0i02NeEv3mT4XwPp8_HUMsDes/edit?usp=sharing
Инвайт на курс в степике: https://stepik.org/invitation/01319ce7dc3fe58dc06457cf4ed7c029beacd70e/
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017
# https://stepik.org/lesson/57527/step/1?unit=35283 дедлайн: 6.10.2017
# https://stepik.org/lesson/57528/step/1?unit=35284 дедлайн: 13.10.2017
# https://stepik.org/lesson/57530/step/1?unit=35286 дедлайн: 20.10.2017

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

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

=== Контакты: ===

* [mailto:edzhavoronkov+au-fp5-fall2017@gmail.com Почта]
* [https://t.me/EdgarZhavoronkov Telegram]

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 26.09.2017 23:59''')
* Код с пары 27.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 04.10]]
* [[Медиа:Sem06.zip|Код с пары 11.10]]
* [[Медиа:Sem07.zip|Код с пары 18.10]]
* [[Медиа:Sem08.zip|Код с пары 25.10]]
* [[Медиа:Sem09.zip|Код с пары 8.11]]
* [[Медиа:Sem10.zip|Код с пары 15.11]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

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

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

На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.

==== Зачет ====

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее TBD от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

== Дополнительные материалы ==
=== Полезные ссылки ===
* [https://gist.github.com/CMCDragonkai/fab0980b3325e8a788c9 Небольшая запись с объяснением Numeric Typeclasses и их красивой диаграммой.]
* [http://dev.stephendiehl.com/editor_talk.html Configure your ghci]
* [https://habrahabr.ru/post/183150/ Функторы, аппликативные функторы и монады на пальцах]
=== Книги ===

* [http://www.nsu.ru/xmlui/bitstream/handle/nsu/8874/Harrison.pdf Введение в функциональное программирование, John Harrison]

* [http://inis.jinr.ru/sl/vol2/Mathematics/%D0%9C%D0%B0%D1%82.%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%9B%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5,1985.pdf Ламбда-исчисление, Барендрегт]

ФП 5SE осень 2017

2017-11-12T10:42:15Z

Shabalyn.alexander: /* Код с пар */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

Начиная с 4-го занятия потребуются компьютеры. На них нужно поставить stack: https://docs.haskellstack.org/en/stable/README/#how-to-install

Еще желательно заранее создать рабочую папку с проектом (чтобы stack автоматом скачал необходимые библиотеки и компилятор):
<nowiki>
> stack new classwork simple
> cd classwork
> stack setup
> stack build</nowiki>
Здесь classwork – название проекта (и, как следствие, папки с проектом), а simple – template, по которому сгенерировать проект (по умолчанию используется другой, где проект разбивается на приложение, библиотеку и тесты; нам это сейчас не нужно)

===Код с пар===
# 11.10.2017: https://gist.github.com/projedi/490e8c76db5cd09c7838e4c62fa6eefc
# 18.10.2017: https://gist.github.com/projedi/36ef298f9a457cac5ecce3d9b46110d4
# 8.11.2017: https://gist.github.com/projedi/f436148804bbf8f3891b5d73239502a9

===Домашние задания===
Табличка с результатами: https://docs.google.com/spreadsheets/d/1qnKuNN3FTIZqInoWOL0i02NeEv3mT4XwPp8_HUMsDes/edit?usp=sharing
Инвайт на курс в степике: https://stepik.org/invitation/01319ce7dc3fe58dc06457cf4ed7c029beacd70e/
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017
# https://stepik.org/lesson/57527/step/1?unit=35283 дедлайн: 6.10.2017
# https://stepik.org/lesson/57528/step/1?unit=35284 дедлайн: 13.10.2017
# https://stepik.org/lesson/57530/step/1?unit=35286 дедлайн: 20.10.2017

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

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

=== Контакты: ===

* [mailto:edzhavoronkov+au-fp5-fall2017@gmail.com Почта]
* [https://t.me/EdgarZhavoronkov Telegram]

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 26.09.2017 23:59''')
* Код с пары 27.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 04.10]]
* [[Медиа:Sem06.zip|Код с пары 11.10]]
* [[Медиа:Sem07.zip|Код с пары 18.10]]
* [[Медиа:Sem08.zip|Код с пары 25.10]]
* [[Медиа:Sem09.zip|Код с пары 8.11]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

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

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

На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.

==== Зачет ====

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее TBD от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

== Дополнительные материалы ==
=== Полезные ссылки ===
* [https://gist.github.com/CMCDragonkai/fab0980b3325e8a788c9 Небольшая запись с объяснением Numeric Typeclasses и их красивой диаграммой.]
* [http://dev.stephendiehl.com/editor_talk.html Configure your ghci]

=== Книги ===

* [http://www.nsu.ru/xmlui/bitstream/handle/nsu/8874/Harrison.pdf Введение в функциональное программирование, John Harrison]

* [http://inis.jinr.ru/sl/vol2/Mathematics/%D0%9C%D0%B0%D1%82.%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%9B%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5,1985.pdf Ламбда-исчисление, Барендрегт]

ФП 5SE осень 2017

2017-10-12T12:41:12Z

Shabalyn.alexander: /* Практика Шабалин */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

Начиная с 4-го занятия потребуются компьютеры. На них нужно поставить stack: https://docs.haskellstack.org/en/stable/README/#how-to-install

Еще желательно заранее создать рабочую папку с проектом (чтобы stack автоматом скачал необходимые библиотеки и компилятор):
<nowiki>
> stack new classwork simple
> cd classwork
> stack setup
> stack build</nowiki>
Здесь classwork – название проекта (и, как следствие, папки с проектом), а simple – template, по которому сгенерировать проект (по умолчанию используется другой, где проект разбивается на приложение, библиотеку и тесты; нам это сейчас не нужно)

===Код с пар===
# 11.10.2017: https://gist.github.com/projedi/490e8c76db5cd09c7838e4c62fa6eefc

===Домашние задания===
Табличка с результатами: https://docs.google.com/spreadsheets/d/1qnKuNN3FTIZqInoWOL0i02NeEv3mT4XwPp8_HUMsDes/edit?usp=sharing
Инвайт на курс в степике: https://stepik.org/invitation/01319ce7dc3fe58dc06457cf4ed7c029beacd70e/
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017
# https://stepik.org/lesson/57527/step/1?unit=35283 дедлайн: 6.10.2017
# https://stepik.org/lesson/57528/step/1?unit=35284 дедлайн: 13.10.2017
# https://stepik.org/lesson/57530/step/1?unit=35286 дедлайн: 20.10.2017

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

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

=== Контакты: ===

* [mailto:edzhavoronkov+au-fp5-fall2017@gmail.com Почта]
* [https://t.me/EdgarZhavoronkov Telegram]

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 26.09.2017 23:59''')
* Код с пары 27.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 04.10]]
* [[Медиа:Sem06.zip|Код с пары 11.10]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

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

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

На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.

==== Зачет ====

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее TBD от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

== Дополнительные материалы ==
Небольшая запись с объяснением Numeric Typeclasses и их красивой диаграммой:

https://gist.github.com/CMCDragonkai/fab0980b3325e8a788c9

---

[http://www.nsu.ru/xmlui/bitstream/handle/nsu/8874/Harrison.pdf Введение в функциональное программирование, John Harrison]

---

[http://inis.jinr.ru/sl/vol2/Mathematics/%D0%9C%D0%B0%D1%82.%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%9B%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5,1985.pdf Ламбда-исчисление, Барендрегт]

ФП 5SE осень 2017

2017-10-07T12:27:33Z

Shabalyn.alexander: /* Домашние задания */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

Начиная с 4-го занятия потребуются компьютеры. На них нужно поставить stack: https://docs.haskellstack.org/en/stable/README/#how-to-install

Еще желательно заранее создать рабочую папку с проектом (чтобы stack автоматом скачал необходимые библиотеки и компилятор):
<nowiki>
> stack new classwork simple
> cd classwork
> stack setup
> stack build</nowiki>
Здесь classwork – название проекта (и, как следствие, папки с проектом), а simple – template, по которому сгенерировать проект (по умолчанию используется другой, где проект разбивается на приложение, библиотеку и тесты; нам это сейчас не нужно)

===Домашние задания===
Табличка с результатами: https://docs.google.com/spreadsheets/d/1qnKuNN3FTIZqInoWOL0i02NeEv3mT4XwPp8_HUMsDes/edit?usp=sharing
Инвайт на курс в степике: https://stepik.org/invitation/01319ce7dc3fe58dc06457cf4ed7c029beacd70e/
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017
# https://stepik.org/lesson/57527/step/1?unit=35283 дедлайн: 6.10.2017
# https://stepik.org/lesson/57528/step/1?unit=35284 дедлайн: 13.10.2017

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

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

=== Контакты: ===

* [mailto:edzhavoronkov+au-fp5-fall2017@gmail.com Почта]
* [https://t.me/EdgarZhavoronkov Telegram]

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 26.09.2017 23:59''')
* Код с пары 27.09 куда-то потерялся
* [[Медиа:Sem05.zip|Код с пары 04.10]]

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

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

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

На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.

==== Зачет ====

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее TBD от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

== Дополнительные материалы ==
Небольшая запись с объяснением Numeric Typeclasses и их красивой диаграммой:

https://gist.github.com/CMCDragonkai/fab0980b3325e8a788c9

---

[http://www.nsu.ru/xmlui/bitstream/handle/nsu/8874/Harrison.pdf Введение в функциональное программирование, John Harrison]

---

[http://inis.jinr.ru/sl/vol2/Mathematics/%D0%9C%D0%B0%D1%82.%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%9B%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0-%D0%B8%D1%81%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5,1985.pdf Ламбда-исчисление, Барендрегт]

ФП 5SE осень 2017

2017-09-28T09:00:28Z

Shabalyn.alexander: /* Домашние задания */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

Начиная с 4-го занятия потребуются компьютеры. На них нужно поставить stack: https://docs.haskellstack.org/en/stable/README/#how-to-install

Еще желательно заранее создать рабочую папку с проектом (чтобы stack автоматом скачал необходимые библиотеки и компилятор):
<nowiki>
> stack new classwork simple
> cd classwork
> stack setup
> stack build</nowiki>
Здесь classwork – название проекта (и, как следствие, папки с проектом), а simple – template, по которому сгенерировать проект (по умолчанию используется другой, где проект разбивается на приложение, библиотеку и тесты; нам это сейчас не нужно)

===Домашние задания===
Табличка с результатами: https://docs.google.com/spreadsheets/d/1qnKuNN3FTIZqInoWOL0i02NeEv3mT4XwPp8_HUMsDes/edit?usp=sharing
Инвайт на курс в степике: https://stepik.org/invitation/01319ce7dc3fe58dc06457cf4ed7c029beacd70e/
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017
# https://stepik.org/lesson/57527/step/1?unit=35283 дедлайн: 6.10.2017

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

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

=== Контакты: ===

* [mailto:edzhavoronkov+au-fp5-fall2017@gmail.com Почта]
* [https://t.me/EdgarZhavoronkov Telegram]

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')
* [[Медиа:Sem03.pdf|Семинар и домашнее задание 3]] ('''Дедлайн(мягкий): 26.09.2017 23:59''')

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и дальше будет видно, будете ли вы присылать мне .hs-исходники, или мы придумаем еще какой-либо формат сдачи. Это подводит нас к мысли, что вам понадобится поставить некоторый тулчейн. Как это сделать -- я расскажу позже(или вам расскажут об этом на лекции).

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

На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.

==== Зачет ====

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее TBD от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

== Дополнительные материалы ==
Небольшая запись с объяснением Numeric Typeclasses и их красивой диаграммой:

https://gist.github.com/CMCDragonkai/fab0980b3325e8a788c9

ФП 5SE осень 2017

2017-09-27T11:11:18Z

Shabalyn.alexander: /* Практика Шабалин */

ФП 5SE осень 2017

2017-09-27T07:35:54Z

Shabalyn.alexander: /* Практика Шабалин */

ФП 5SE осень 2017

2017-09-20T09:33:00Z

Shabalyn.alexander: /* Практика Шабалин */

ФП 5SE осень 2017

2017-09-20T08:44:32Z

Shabalyn.alexander: /* Практика Шабалин */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

===Домашние задания===
# https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
# https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017
# https://yadi.sk/i/lrZGFUjT3N4vts дедлайн: 29.09.2017

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

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

=== Контакты: ===

* [mailto:edzhavoronkov+au-fp5-fall2017@gmail.com Почта]
* [https://t.me/EdgarZhavoronkov Telegram]

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн(мягкий): 12.09.2017 23:59''')
* [[Медиа:Sem02.pdf|Семинар и домашнее задание 2]] ('''Дедлайн(мягкий): 19.09.2017 23:59''')

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

Первые три домашних задания сдаются мне на почту. Формат, в котором вы присылаете ваши решения не очень принципиален, однако предпочтение отдается чему-то адекватному, например pdf или Markdown(plain text в целом тоже котируется, а вот ссылку на картинку, лежащую где-нибудь на depositfiles присылать лучше не стоит).

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и дальше будет видно, будете ли вы присылать мне .hs-исходники, или мы придумаем еще какой-либо формат сдачи. Это подводит нас к мысли, что вам понадобится поставить некоторый тулчейн. Как это сделать -- я расскажу позже(или вам расскажут об этом на лекции).

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

На вики я пишу мягкий дедлайн до которого мне можно присылать решения, и я постараюсь ответить и, в случае чего, вы можете прислать мне исправления. Жесткий дедлайн, после которого я не смотрю решения -- начало пары. Если вы прислали решение после мягкого дедлайна, то я постараюсь ответить вам в течение дня, но не готов гарантировать, что буду принимать исправления. Решения присланные после жесткого дедлайна -- не оцениваются.

==== Зачет ====

Что бы допуститься до экзамена вам сперва необходимо получить зачет по практике. Для этого вам нужно сделать несколько вещей:
* Сдать все теоретические домашние задания(ими считаются первые три)
* Получить не менее TBD от суммы баллов за теоретические и практические домашние задания без учета дополнительных заданий
* Сдать алгоритм вывода типов(ближе к концу семестра)

Если что-то из этих пунктов не выполняется, то мы решаем этот вопрос в индивидуальном порядке.

ФП 5SE осень 2017

2017-09-13T09:55:00Z

Shabalyn.alexander: /* Практика Шабалин */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

ДЗ 1: https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017

ДЗ 2: https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017

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

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

=== Контакты: ===

* [mailto:edzhavoronkov+au-fp5-fall2017@gmail.com Почта]
* [https://t.me/EdgarZhavoronkov Telegram]

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн: 12.09.2017 23:59''')

=== Всякая информация ===
==== Сдача домашних заданий ====

Первые три домашних задания сдаются преподавателю на почту. Мне не очень принципиален формат, в котором вы присылаете ваши решения, однако я должен иметь возможность ваше решение прочитать. Если у меня возникнут какие-либо вопросы или замечания к вашему решению, то я могу попросить вас на них ответить или соответственно исправить. Исправления можно присылать некоторое конечное число раз, однако полезно подумать, прежде чем присылать очередное письмо. В противном случае, я не могу гарантировать, что успею проверить все решения до занятия. Разборы домашних заданий будут проводиться по желанию аудитории, при условии что не будут отнимать много времени от практики.

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и дальше будет видно, будете ли вы присылать мне .hs-исходники, или мы придумаем еще какой-либо формат сдачи. Это подводит нас к мысли, что вам понадобится поставить некоторый тулчейн. Как это сделать -- я расскажу позже(или вам расскажут об этом на лекции).

ФП 5SE осень 2017

2017-09-13T09:54:47Z

Shabalyn.alexander: /* Практика Шабалин */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

ДЗ 1: https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017
ДЗ 2: https://yadi.sk/i/YGMNMCES3Mr3Bc дедлайн: 22.09.2017

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

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

=== Контакты: ===

* [mailto:edzhavoronkov+au-fp5-fall2017@gmail.com Почта]
* [https://t.me/EdgarZhavoronkov Telegram]

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн: 12.09.2017 23:59''')

=== Всякая информация ===
==== Сдача домашних заданий ====

Первые три домашних задания сдаются преподавателю на почту. Мне не очень принципиален формат, в котором вы присылаете ваши решения, однако я должен иметь возможность ваше решение прочитать. Если у меня возникнут какие-либо вопросы или замечания к вашему решению, то я могу попросить вас на них ответить или соответственно исправить. Исправления можно присылать некоторое конечное число раз, однако полезно подумать, прежде чем присылать очередное письмо. В противном случае, я не могу гарантировать, что успею проверить все решения до занятия. Разборы домашних заданий будут проводиться по желанию аудитории, при условии что не будут отнимать много времени от практики.

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и дальше будет видно, будете ли вы присылать мне .hs-исходники, или мы придумаем еще какой-либо формат сдачи. Это подводит нас к мысли, что вам понадобится поставить некоторый тулчейн. Как это сделать -- я расскажу позже(или вам расскажут об этом на лекции).

ФП 5SE осень 2017

2017-09-09T10:12:06Z

Shabalyn.alexander: /* Практика Шабалин */

== Лекции ==
Преподаватель: Москвин Д. Н.

== Практика Шабалин ==
* Электропочта: [mailto:shabalyn.a@gmail.com shabalyn.a@gmail.com]
* Telegram: https://t.me/ashabalin

ДЗ 1: https://yadi.sk/i/ocg7lzsF3Mjmap дедлайн: 15.09.2017

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

[https://drive.google.com/open?id=17YiBKBhnJfB4bhKxaX8DhsDtopQC4O7Vj5MLgDFS_9k Табличка с результатами]

=== Контакты: ===

* [mailto:edzhavoronkov+au-fp5-fall2017@gmail.com Почта]
* [https://t.me/EdgarZhavoronkov Telegram]

=== Материалы с занятий и домашние задания: ===
* [[Медиа:Sem01.pdf|Семинар и домашнее задание 1]] ('''Дедлайн: 12.09.2017 23:59''')

=== Всякая информация ===
==== Сдача домашних заданий ====

Первые три домашних задания сдаются преподавателю на почту. Мне не очень принципиален формат, в котором вы присылаете ваши решения, однако я должен иметь возможность ваше решение прочитать. Если у меня возникнут какие-либо вопросы или замечания к вашему решению, то я могу попросить вас на них ответить или соответственно исправить. Исправления можно присылать некоторое конечное число раз, однако полезно подумать, прежде чем присылать очередное письмо. В противном случае, я не могу гарантировать, что успею проверить все решения до занятия. Разборы домашних заданий будут проводиться по желанию аудитории, при условии что не будут отнимать много времени от практики.

Начиная с четвертого домашнего задания вы будете писать код на хаскеле и дальше будет видно, будете ли вы присылать мне .hs-исходники, или мы придумаем еще какой-либо формат сдачи. Это подводит нас к мысли, что вам понадобится поставить некоторый тулчейн. Как это сделать -- я расскажу позже(или вам расскажут об этом на лекции).