The Dialectics of Type-Level Programming by Aaron Levin 

The Dialectics of Type-Level Programming; or How I Learned To Love Values by Aaron Levin
About this talk:
Can my compiler also compute? The answer is often an astounding yes. Programmers have taken advantage of their compiler's limited runtime to produce safer and more extensible code for decades. But what else can we build? In this talk, we explore how to use typeclass resolution in Scala and Haskell to coerce our compiler to compute as inspired by Shapeless, a Scala library for generic programming, and Servant, a Haskell library for declaring HTTP APIs as a type. Alas, paradise has its price. Is type-level programming a Monkey's Paw, Hairy Yak, or Golden Ticket? You decide!
You can find the slides for this talk here: docs.google.co...
About Aaron Levin
Mathematician and Software Engineer, Soundcloud
I am a mathematician turned software engineer. I am excited by data-driven opportunities in environments that foster creativity, diversity, and innovation. I value openness, honesty, empathy, and egolessness. I am passionate about solving challenging problems in functional programming, data engineering, Haskell, machine learning, and distributed systems.
About Lambda World:
The 2016 Lambda World brought together Functional Programming enthusiasts from around the world for two days of presentations, hacking, networking, and a healthy dose of partying in Cadiz, Spain. Hosted by 47 Degrees, the event also featured a Typelevel Community Conference and a Scala Center Hackathon.
Join in on the conversation at / lambda_world and / 47deg using #LambdaWorld.
Stay tuned to www.lambda.world and www.47deg.com for more on the conference and announcements for the 2017 event.