Unboxing Haskell

This SkillsCast is currently only available to registered attendees of YOW! Lambda Jam 2022

It will be freely available to all Skills Matter members once the YOW! Lambda Jam 2022 early-access window expires on August 17, 2022.

Haskell is infamous for its ubiquitous support for laziness. But we do have some primitive unlifted types: Int#s, unboxed tuples, and now unlifted data declarations. It is kind of annoying that anything you go to do with them is a one-off hack. What would it take to lift the Prelude to support such weird animals? We'll introduce backpack, play with return type representation polymorphism, explore a particularly novel (legitimate!) use case for orphan instances, lift computations in incredibly dodgy ways, and see how all of this suggests a language feature I'd really like to have in Haskell, something that C++ gets right today. Oh, and we may run into a problem with 2million+ long character Haskell command line lengths.

YOU MAY ALSO LIKE:

• Cadenza: Building Fast Functional Languages Fast (SkillsCast recorded in July 2020)