Rebecca Skinner - Make It Purple: An Introduction To Type Level Programming

Опубликовано: 31 Январь 2025
на канале: Konfy

2,483

Special thanks to the Haskell Foundation for supporting the production of this video!

Haskell Love 2021 schedule: https://emamo.com/event/haskell-love
Haskell Love twitter: / _haskellove

Type level programing is fun, but it has a certain divisive mystique. Type level programs aren't simple haskell, and when you're learning how to write code at the type level you might find yourself force to choose between a contrived problem (How many sized vector implementations do we need), or code that can be frighteningly hard to understand! What if you could learn about how to make type level programming work for you in a fun and visually appealing way? In this talk you'll learn how to build a type safe theming API for XMonad so that we can make everything a nice haskell-logo purple.