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

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

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

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

1 симпатия

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

1 симпатия

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

1 симпатия

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

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

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

1 симпатия

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

1 симпатия

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

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

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

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

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

1 симпатия

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

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

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

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

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

1 симпатия

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

Вот что-то по зипперам на Хаскеле 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

1 симпатия

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

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

1 симпатия

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

1 симпатия

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

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

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

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

1 симпатия
 Институт математики, механики и компьютерных наук ЮФУ, 2005–2021
Администрация форума: В.Н. Брагилевский, С.С. Михалкович, А.М. Пеленицын
Yandex.Metrica