Spotlight on Aaron Levin
Language: Haskell & Scala
When: Saturday, October 1st - 11:30 - 12:30
The Dialectics of Type-Level Programming; or How I Learned to Love Values
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!
About Aaron:
Aaron is a mathematician turned software engineer. He is excited by data-driven opportunities in environments that foster creativity, diversity, and innovation. He values openness, honesty, empathy, and egolessness. He’s passionate about solving challenging problems in functional programming, data engineering, Haskell, machine learning, and distributed systems.
When he’s not coding, Aaron enjoys searching for rare records. You can follow his musical and Scala/Haskell advertures at @AaronMBlevin
About Lambda World:
Lambda World takes place September 30th - October 1st, in Cadiz, Spain and is hosted by 47 Degrees in conjunction with the Scala and Java communities of Spain. The event is located at the Palacio de Congresos, an old tobacco factory near the beach. You can find more details at Lambda.world.