№ 037
Воскрешение и зависимые типы

Участвовали:

Обсуждали:

  1. Новая жизнь нашего подкаста.
  2. Очередной митап сообщества ruHaskell у Касперского.
  3. A Specification for Dependently-Typed Haskell.
  4. И вновь про LiquidHaskell.
  5. После невероятно долгого забвения - 11 выпуск The Haskell Cast.
  6. Cryptol: Haskell DSL for specifying cryptographic algorithms.
  7. Шевченко в IOHK.