Лекция 1 | Компилятор GHC языка Haskell | Виталий Брагилевский | Лекториум

Лекция 1 | Курс: Компилятор GHC языка Haskell: теория языков программирования в работе | Лектор: Виталий Брагилевский | Организатор: CSClub Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/32416 Другие лекции по курсу «Компилятор GHC языка Haskell: теория языков программирования в работе» доступны для просмотра по ссылке: https://www.lektorium.tv/node/32421 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями: https://vk.com/openlektorium   / openlektorium  

Лекция 2 | Компилятор GHC языка Haskell | Виталий Брагилевский | Лекториум
▶︎

Лекция 2 | Компилятор GHC языка Haskell | Виталий Брагилевский | Лекториум

Спор о первом языке программирования: окончательное решение / Виталий Брагилевский (JetBrains)
▶︎

Спор о первом языке программирования: окончательное решение / Виталий Брагилевский (JetBrains)

Виталий Брагилевский — Монады - не приговор
▶︎

Виталий Брагилевский — Монады - не приговор

Не морочьте мне голову со своим функциональным программированием  / Виталий Брагилевский
▶︎

Не морочьте мне голову со своим функциональным программированием / Виталий Брагилевский

Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
▶︎

Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey

Будущее языков программирования: личный взгляд (Виталий Брагилевский, JetBrains)
▶︎

Будущее языков программирования: личный взгляд (Виталий Брагилевский, JetBrains)

Физику ведёт физрук: что происходит в школах? САВВАТЕЕВ | КОПАНЦЕВ
▶︎

Физику ведёт физрук: что происходит в школах? САВВАТЕЕВ | КОПАНЦЕВ

Что такое квантовый компьютер? Алексей Семихатов и Алексей Федоров
▶︎

Что такое квантовый компьютер? Алексей Семихатов и Алексей Федоров

Язык программирования Haskell: вводная лекция
▶︎

Язык программирования Haskell: вводная лекция

Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)
▶︎

Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)

Создатель микропроцессора о сознании. Федерико Фаджин
▶︎

Создатель микропроцессора о сознании. Федерико Фаджин

Виталий Брагилевский — JavaScript на службе у теоретической информатики
▶︎

Виталий Брагилевский — JavaScript на службе у теоретической информатики

DNS переживёт любой кризис. Как они обошли ВСЕХ на рынке?
▶︎

DNS переживёт любой кризис. Как они обошли ВСЕХ на рынке?

Моноид в категории эндофункторов? Денис Шевченко
▶︎

Моноид в категории эндофункторов? Денис Шевченко

001. Построение компилятора на базе LLVM - Павел Сычев
▶︎

001. Построение компилятора на базе LLVM - Павел Сычев

Лекция 1 | Вывод типов от Хиндли-Милнера до GHC 8.8 | Виталий Брагилевский | Лекториум
▶︎

Лекция 1 | Вывод типов от Хиндли-Милнера до GHC 8.8 | Виталий Брагилевский | Лекториум

Haskell Tutorial
▶︎

Haskell Tutorial

Haskell, как первый язык программирования
▶︎

Haskell, как первый язык программирования

Введение в Haskell
▶︎

Введение в Haskell

Mathematical anxiety, neural networks, and the Millennium Development Goals / Andrey Konyaev
▶︎

Mathematical anxiety, neural networks, and the Millennium Development Goals / Andrey Konyaev