JetBrains Research — наука, меняющая мир

Семинар по типизированным интерпретаторам

Считается, что корректная реализация интерпретатора типизированного языка на типизированном метаязыке нетривиальна и требует таких средств, как обобщенные алгебраические типы данных (GADT) или зависимые типы. Использование этих подходов привносит накладные расходы, которых хотелось бы избежать, не потеряв при этом гарантии типовой корректности программы на целевом языке, предоставляемые типовой системой метаязыка. В докладе будет рассмотрен альтернативный подход к решению проблемы, позволяющий реализовать на таком языке, как OCaml или Haskell, интерпретаторы, компилятор и частичный вычислитель для STLC без использования GADT, зависимых типов и конструкторов в частности.

Материалы к докладу:

Jacques Carette, Oleg Kiselyov, Chung-chieh Shan. Finally tagless, partially evaluated // http://okmij.org/ftp/tagless-final/JFP.pdf

Докладчик: Екатерина Вербицкая

31.10.2016, 17:15, Мат-Мех, ауд. 3248.

Место: ауд. 3248, мат-мех. факультет СПбГУ, Старый Петергоф, Университетский пр-т, д. 28