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

Видео завершающей части семинара 3. И соответствующий плейлист.

Семинар 3. Визиторы - окончание. https://youtu.be/poT_cvHFH_Q

Хорошо было бы выложить презентацию и ссылку на репозиторий на ГитХабе.

Видео семинара #4: язык программирования (c(x)) с refinement types!

1 лайк

Презентация

Репозиторий с прототипом интерпретатора

3 лайка

4 posts were split to a new topic: Обсуждение refinement types

В ближайшую пятницу, 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 лайк