Hackett - A Metaprogrammable Haskell

Explore the innovative programming language Hackett in this conference talk from Strange Loop. Discover how Hackett combines Haskell's powerful type system with Racket's advanced macro system, enabling interleaved macroexpansion and typechecking. Learn about real Hackett code examples, underlying Racket technologies, and future developments. Compare Hackett's metaprogramming approach with other languages, and gain insights into its unique features such as embedded DSLs, type classes, and macro meta-programming. Delve into topics like macros vs splices and staged restrictions as you uncover the potential of this cutting-edge language that opens up new possibilities for programmers to customize their language and create embedded DSLs.

Introduction
What this talk is about
Hackett code
Hackett is a Haskell
Macros
DSLs
Type classes
Macro meta programming
Summary
Macros vs Splices
Staged Restrictions