Семинар по языкам программирования и компиляторам


#21

В ближайшую пятницу, 15 апреля, в 17-00 в 211 ауд. будет доклад

Функциональный взгляд на визиторы

докладчик: А.М. Пеленицын.


#22

По объективным причинам начало семинара переносится на 17:00. Просьба к участвующим в семинаре студентам: отнестись с пониманием и всё же принять участие.


#23

Видео семинара 15.04.16 https://youtu.be/h5aZnN0Lc1Y


#24

Спасибо! А начала нет? :frowning:


#25

А это вот у меня начало


#26

А там же обрывалась запись. Перед этим отдельного видео нет разве?


#27

Странно… Ну, что поделать, зрителям Ютуба будет стимул приходить на семинары вживую! :grinning:


#28

Да, мне тоже казалось, что должен быть отдельный файл с видео из начала.

А тем временем публикую презентацию со вчерашнего доклада. Внутри много ссылок на коды и одна ссылка на статью (Свиерстры).

По заявкам слушателей я добавил в конце пример ещё одного визитора (для печати).

2016-04-15-functional-visitors.pdf (200,4 КБ)


#29

Хочется выразить благодарность за видеозаписи семинаров.


#30

Перед этим - моя лекция по ОП утром. И файлы нумеруются подряд.


#31

А можно, чтобы докладчик на следующий семинар написал тут объявление? Ну, тему хотя бы…


#32

Следующий доклад состоится в ближайшую пятницу, 22 апреля в 17:00. Тема доклада: “Визиторы в PascalABC.NET и Roslyn”. Докладчик: А.С. Захаренко.

Время проведения доклада смещено в связи с конференцией СИТО.


#33

Статья, которую Виталий Николаевич предложил для разбора на семинаре:


#34

То же на русском

Вот что-то по зипперам на Хаскеле http://stackoverflow.com/questions/15489324/traversal-tree-with-lens-and-zippers/15489761

Вот на F# http://tomasp.net/blog/tree-zipper-query.aspx/

Вот статья, датированная 2005 годом, на OCaml: https://www.st.cs.uni-saarland.de/edu/seminare/2005/advanced-fp/docs/huet-zipper.pdf


#35

Я читал этот текст: он очень плохо переведён, я всячески не рекомендую его использовать.

А презентацию опубликуют?


#36

Видео семинара 5: https://youtu.be/WbFeIZ89D3k


#37

Кстати, про дифференциальное исчисление и зипперов пишут даже в базовых статьях для новичков: Haskell/Zippers из Wikibooks.


#38

Для меня эти статьи для новичков более сложные, чем научные статьи на OCaml


#39

Ну, Окамл проще Хаскеля, так что почти любая статья, написанная на втором, будет сложней той же статьи, написанной на первом, я думаю. Ну и Хаскель-сообщество больше склонно ко всяческому матану.


#40

Я ознакомился со статьёй по Кложуре и Визиторам в ней. С одной стороны, было интересно, потому что новый (старый) язык. С другой: печальным моментом является то, что про зипперы там не рассказывается, они берутся из стандартной библиотеки и используются: выходит такой IEnumerable, но для деревьев, то есть просто удобный интерфейс. Интересно было бы про идею и устройство зипперов послушать… Хотя по этой статье уже есть желающие выступить студенты.