Александр Чичигин. В ПОИСКАХ КОРРЕКТНЫХ ТРАНСФОРМАЦИЙ
Доклад для бывалых функциональных программистов, заинтересованных в формальной верификации программ. Поговорим про Isabelle proof assistant, equational reasoning, program transformation и доказательства без зависимых типов. Увидим во что обходится формальная верификация эквивалентных преобразований на примере оптимизации алгоритма сортировки списка и поспорим, стоит ли овчинка выделки.
Видео Александр Чичигин. В ПОИСКАХ КОРРЕКТНЫХ ТРАНСФОРМАЦИЙ канала Fp Conf
Видео Александр Чичигин. В ПОИСКАХ КОРРЕКТНЫХ ТРАНСФОРМАЦИЙ канала Fp Conf
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Алексей Пирогов. СКРИПТУЕМ И АВТОМАТИЗИРУЕМ БЕЗОПАСНО С HASKELL
Александр Вершилов. ПРОЕКТИРУЕМ SAAS РЕШЕНИЕ, ЗАПУСКАЮЩЕЕСЯ НА НОУТБУКЕ
Павел Аргентов. УЧИМСЯ ИГРАТЬ В UNIKERNEL
Олег Нижников. БЕЗБОЛЕЗНЕННЫЙ FALLBACK CACHE НА SCALA
Михаил Лиманский. КАК Я ПЕРЕСТАЛ БОЯТЬСЯ ПРОГРАММИРОВАНИЯ НА ТИПАХ И ПОЛЮБИЛ БОБОВОЕ ПЮРЕ
Дмитрий Волков. HIGH-ASSURANCE EMBEDDED
Никита Волков. НОВЫЙ HASQL: ПРОЩЕ И БЫСТРЕЕ
Юрий Сыровецкий и Николай Логинов. CRDT — КОРРЕКТНО РАСПРЕДЕЛЁННЫЕ ДАННЫЕ НА HASKELL
Никита Соболев. ПОТОКИ. OTP. ELIXIR
Arnaud Spiwack. USING HASKELL TO GREAT EFFECT
Сергей Ткаченко. OOP FOR BRAVE AND TRUE
Антон Холомьев. ЯЗЫК KOTLIN - ОСТРОВ СОКРОВИЩ ДЛЯ ФП НА ANDROID
Денис Шевченко. CARDANO: HASKELL ИДЁТ В МИР КРИПТОВАЛЮТ
Вадим Челышов. ДЕЛАЕМ ПОЛЬЗОВАТЕЛЬСКИЙ API НА БАЗЕ SHAPELESS
Николай Рыжиков. ПОЛНЫЙ СТЭК НА "ОДНОМ" ЯЗЫКЕ ИЛИ ИЗОМОРФИЗМ РИЧА ХИККИ
Катерина Галкина. НАШИ БАГИ ЗА ДВА ГОДА РАЗРАБОТКИ НА HASKELL
Андрей Зайцев. ABSTRACT RECONCILIATION
Николай Кудасов. ФУНКЦИОНАЛЬНАЯ ВИРТУАЛЬНАЯ РЕАЛЬНОСТЬ: WEBVR + HASKELL
Воркшоп по ELM: пишем DRAG-AND-DROP. Илья Беда
Сочиняем электронную музыку на Haskell. Антон Холомьев