Senior Consultant
INNOQ
Lars Hupel is a consultant in Munich, Germany. They are known as one of the founders of the Typelevel initiative which is dedicated to providing principled, type-driven Scala libraries in a friendly, welcoming environment. A frequent conference speaker, they are active in the open source community, particularly in Scala. They also enjoy programming in and talking about Haskell, TypeScript, Prolog, and Rust. Previously, they were a PhD student at TU München in the field of logic and verification.
Talks I've Given
-
A History of Enterprise Monads
Featuring Lars Hupel
The early 2010’s were exciting times for Scala. The language & ecosystem started to professionalize, both from a technical (binary compatibility) and a community point of view (many conferences were started). Not too long after Lightbend – then Typesafe – was founded, I registered the...
-
Theorems for Free
Featuring Lars Hupel
We can extract a lot of information from type signatures. But how does it work? In this talk Lars Hupel will revisit Philip Wadler's influential (and very cool) paper "Theorems for free!".
haskell parametricity -
2
What Haskell can learn from Scala
Featuring Lars Hupel and Miles Sabin
The opinions about Scala in the Haskell community differ widely. Most will immediately point out reasons why they think Scala is complex and that Haskell is so much better. But is it really? In this talk, we will take a radically different approach: We will outline what Haskell can learn from...
haskell scala functional-programming -
State of the Typelevel
Featuring Lars Hupel
The typelevel project is nearing its second anniversary -- a great time to look at what it is actually about. Starting out as a community of Scala projects aiming for principled library design, we have been continuously growing by adding more projects and most recently, forking the Scala compiler...
scala functional-programming types -
5
Scala eXchange - Q&A Panel
Featuring Martin Odersky, Miles Sabin, Lars Hupel, 999 444 and Kingsley Davies
This year's panal begins with a Q&A session on 'Typelevel and what it means for the Scala ecosystem'. On the panel will be Martin Odersky, Miles Sabin, Lars Hupel and Jon Pretty.
scala