Richard Eisenberg
Richard is a Principal Researcher at Tweag I/O. His research centers around how we can use static type systems to power high-assurance programming and avoid programmer mistakes, all without sacrificing ease-of-use or runtime efficiency. His language of focus is the pure functional language Haskell.
Richard is a core contributor to GHC and serves on the GHC Steering Committee. He lives in suburban Philadelphia with his wife and daughter.
Talks I've Given
-
Simplifying Constraint Solving in GHC
Featuring Richard Eisenberg
This example-driven talk focuses on GHC constraint solver. You'll get a glimpse of how GHC works under the hood, learn why it's so hard to get good error messages, and get a sense for the kinds of problems that exist in GHC's type checker.
haskell type-checking -
A Type-ical Case Study: The Sound Type-Indexed Type Checker
Featuring Richard Eisenberg
This talk will be an exploration of an implementation of a simply-typed λ-calculus using lots of Haskell's fancy types: only well-typed terms can be represented.
haskell well-typed types