21 декабря (понедельник) в 16:00 в ауд. 301 планируется мой доклад по итогам участия в летней школе, о которой я писал на вики, содержание доклада примерно будет соответствовать тому, что там написано. В качестве послесловия я планирую сказать два слова о своей командировке на прошлой неделе, а именно о посещении ИСП РАН и о том, что там понимают под исследованием в области информатики.
Приглашаются все желающие! Здесь я пишу сообщение в первую очередь для студентов. Если есть вопросы или сомнения — пожалуйста, пишите. Я думаю, что доклад может быть интересен для многих студентов ПМИ и ФИИТ, начиная со второго курса.
Пожалуйста! Спасибо всем слушателям за терпение! И, конечно, за участие.
Во время доклада спрашивали, что есть Scope в названии “Effect Handlers in Scope”. Как я и говорил, Scope это не имя собственное. Просто алгебраические эффекты Плоткина имеют проблемы с отделением областей видимости для обработки этих эффектов. И это есть тема статьи. Там же сказано, что Киселёв не рассматривает такие проблемы для своих эффектов. А Брэди в Идрис даёт достаточно ограниченную конструкцию, встроенную в язык (catch).
Институт математики, механики и компьютерных наук ЮФУ, 2005–2021