Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Виталий Николаевич Брагилевский

JetBrains, СПбГУ

Сотрудник компании JetBrains, преподаватель факультета математики и компьютерных наук СПбГУ, член наблюдательного комитета компилятора GHC (Glasgow Haskell Compiler) и комитета по стандартизации языка Haskell, автор книги Haskell in Depth (Manning Publications).

Прочтения курсов

Курс Семестр
Программирование с зависимыми типами на языке Idris весна 2017
Компилятор GHC языка Haskell: теория языков программирования в работе весна 2018
Вывод типов от Хиндли — Милнера до GHC 8.8 весна 2019
Компилятор GHC языка Haskell: вводный курс весна 2020

Фотографии