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

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

Следующий доклад на семинаре состоится в ближайшую пятницу (1 апреля), в 16:00, примерная тема доклада: «Язык с уточнёнными типами (refinement types)», докладчик: В. Квачёв, студент 3-го курса ФИИТ. Приглашаются все желающие.

2 лайка

Видео завершающей части семинара 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”. Докладчик: А.С. Захаренко.

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