Joe Kachmar Presents: Low-Level Programming in Haskell with Levity Polymorphism

Haskell is widely known for featuring lazy evaluation, but having this as a first-class component of the language does not come for free! In exchange for this convenience, it can feel difficult for even experienced Haskell programmers to write programs that speak precisely about their time and memory characteristics.
In this talk, we'll discuss how the Glasgow Haskell Compiler (GHC) can afford to be lazy without sacrificing performance and efficiency, paying special attention to Levity Polymorphism: GHC's solution for abstracting over the calling conventions of its functions.
Joe is a software engineer living in New York City, and he is currently writing software at Soostone that encourages people to take better care of their personal health. He developed a healthy respect for the importance of writing correct and maintainable software as an electrical engineer at NASA's Wallops Flight Facility, and has been working in the software field full-time ever since.
Lately he's been stuck indoors, finally working through a backlog of books he intended to read years ago and spending entirely too much time on an overly-complicated setup for brewing fancy coffee at home.
This virtual talk was brought to you by the Berlin Functional Programming Group.
Join us on Meetup: www.meetup.com...
Follow us on Twitter: / berlinfpgroup
Buy a T-shirt: teespring.com/...
Support us on Patreon: / bfpg