Rebecca Skinner - Make It Purple: An Introduction To Type Level Programming
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.
Watch video Rebecca Skinner - Make It Purple: An Introduction To Type Level Programming online without registration, duration hours minute second in high quality. This video was added by user Konfy 21 November 2022, don't forget to share it with your friends and acquaintances, it has been viewed on our site 2,483 once and liked it 33 people.