Rebecca Skinner - Make It Purple: An Introduction To Type Level Programming
Автор: Konfy
Загружено: 2022-11-21
Просмотров: 2735
Описание:
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.
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
