Unboxing Haskell

Please log in to watch this conference skillscast.

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)