Dependent Typing and Monads as type system extensions.
Интересная беседа со Стефани Вейрих по зависимым типам, монадам, как коллекциям типов для расширения базовой системы типов языка Haskell (системы типов Хиндли-Милнера, λω = λ2 + λω_) — применении теории категорий для создания струкурных (высокоуровневых) и субструктурных (низкоуровневых) систем типов, применении теории типов Мартина-Лёфа (Martin-Löf type theory) для создания систем зависимых типов (исчисление конструкций, CoC, λPω) для (структурного и субструктурного) вывода типов при статическом анализе программ.
https://www.infoq.com/interviews/weirich-haskell-dependent-types
#Haskell
Ссылки по теме:
https://t.me/technologique/1051
https://t.me/technologique/1052
https://t.me/technologique/1054
Интересная беседа со Стефани Вейрих по зависимым типам, монадам, как коллекциям типов для расширения базовой системы типов языка Haskell (системы типов Хиндли-Милнера, λω = λ2 + λω_) — применении теории категорий для создания струкурных (высокоуровневых) и субструктурных (низкоуровневых) систем типов, применении теории типов Мартина-Лёфа (Martin-Löf type theory) для создания систем зависимых типов (исчисление конструкций, CoC, λPω) для (структурного и субструктурного) вывода типов при статическом анализе программ.
https://www.infoq.com/interviews/weirich-haskell-dependent-types
#Haskell
Ссылки по теме:
https://t.me/technologique/1051
https://t.me/technologique/1052
https://t.me/technologique/1054
InfoQ
Stephanie Weirich on Dependent Typing, Extending Haskell, Type System Research
Stephanie Weirich gives an introduction to the ideas behind dependent typing, dependent typing in Haskell, extending Haskell, and the status and future of type theory.