Видео ютуба по тегу Well-Typed

Singletons (Haskell Unfolder #50)
Singletons (Haskell Unfolder #50)
Static pointers (Haskell Unfolder #53)
Static pointers (Haskell Unfolder #53)
The Haskell Unfolder Episode 35: distributive and representable functors
The Haskell Unfolder Episode 35: distributive and representable functors
Двунаправленный анализ и вывод (JSON) (Haskell Unfolder #52)
Двунаправленный анализ и вывод (JSON) (Haskell Unfolder #52)
Shrinking (Haskell Unfolder #49)
Shrinking (Haskell Unfolder #49)
01-05 Pattern Matching (Introduction to Haskell)
01-05 Pattern Matching (Introduction to Haskell)
The Haskell Unfolder Episode 23: specialisation
The Haskell Unfolder Episode 23: specialisation
Разработка приложения с нуля (Haskell Unfolder #46)
Разработка приложения с нуля (Haskell Unfolder #46)
06-10 Generalising from Counter to State (Introduction to Haskell)
06-10 Generalising from Counter to State (Introduction to Haskell)
06-11 Other Monads (Introduction to Haskell)
06-11 Other Monads (Introduction to Haskell)
01-02 Expressions (Introduction to Haskell)
01-02 Expressions (Introduction to Haskell)
[POPL'24] Generating Well-Typed Terms that are not
[POPL'24] Generating Well-Typed Terms that are not "Useless"
[LAFI'26] A Word Sampler for Well-Typed Functions
[LAFI'26] A Word Sampler for Well-Typed Functions
05-05 do Notation (Introduction to Haskell)
05-05 do Notation (Introduction to Haskell)
05-08 File Operations and Exceptions (Introduction to Haskell)
05-08 File Operations and Exceptions (Introduction to Haskell)
[HIW'22] State of GHC
[HIW'22] State of GHC
05-01 Why Explicit Effects? (Introduction to Haskell)
05-01 Why Explicit Effects? (Introduction to Haskell)
05-04 Bind (Introduction to Haskell)
05-04 Bind (Introduction to Haskell)
01-04 Datatypes and Functions (Introduction to Haskell)
01-04 Datatypes and Functions (Introduction to Haskell)