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

[@cynocephalusw]

Great work. You created an interesting DSL, that is complex enough to make generalisations for other domains. I'm waiting eagerly for your book.

[@Timjstewart]

I was intrigued by the speaker's book before seeing this but now I have to read it and learn how to better weild the type system. Amazing talk.

[@thatonegoblin7051]

🤮

[@engineeredarmy1152]

Vomiting on thyself are you?