Haskell 2021 - Why Functional Programming with Linear Types Matters

Haskell 2021 - Design Patterns for Parser Combinators (Functional Pearl)

Dependent Types with David Christiansen – Functional Futures

The hidden superpowers of linear types: how linear types control the future and prevent bugs

David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On

Differentiable Functional Programming by Noel Welsh

ATS: Why Linear Types are the Future of Systems Programming

Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language

In Haskell, less is more

LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg

Haskell 2021 - Chesskell: A Two-Player Game at the Type Level

Functional Parsing - Computerphile

Past and Present of Haskell – Interview with Simon Peyton Jones

Basic optics: lenses, prisms, and traversals in Haskell

RAG | ВСЁ, что тебе нужно знать (+ 11 Продвинутых стратегий)

"Building Haskell Programs with Fused Effects" by Patrick Thomson

Making sense of the Haskell type system by Ryan Lemmer at FnConf17

Принц Персии: разбираем код гениальной игры, вытирая слезы счастья

Category Theory for the Working Hacker by Philip Wadler

Functional architecture - The pits of success - Mark Seemann

Lenses, Folds, and Traversals