31 марта в Санкт-Петербурге стартует двухдневный курс лекций [ Виталия Брагилевского ]( https://sfedu.ru/www/stat_pages22.show?p=UNI/s1/D&params=(p_per_id=%3E2733) ) о внутреннем устройстве компилятора GHC. Компилятор GHC (The Glasgow Haskell Compiler) языка Haskell уже в течение почти 30 лет представляет собой площадку для экспериментов в области теории языков программирования. В рамках этого курса мы посмотрим, какие именно результаты теории в нём реализованы, а также обсудим, как можно подключиться к его разработке.В первой части курса (две лекции) будет рассказываться о структуре компилятора GHC, принципах его разработки и порядке работы.Вторая часть (три лекции) будет посвящена внутреннему языку GHC Core, в который транслируется код на Haskell и который представляет собой расширение системы полиморфного λ-исчисления высших порядков System Fω, а также вычислению выражений Core с использованием STG-машины. [ Лекции ]( https://compsciclub.ru/courses/Glasgow-Haskell-Compiler/2018-spring/classes/ ) будут проходить в [ ПОМИ РАН ]( https://compsciclub.ru/venues/1/ ) (Набережная реки Фонтанки, 27, Мраморный зал (2 этаж)).Участие бесплатное, регистрация не требуется.
Ссылка: https://www.linux.org.ru/news/conference/14067426