Inside Racket Seminar 7. Alexis King on Hackett - racket/racket GitHub Wiki

As part of the Inside Racket Seminar series, on September 22nd, 2017, Alexis King spoke about the Hackett language with Jay McCarthy.

The archived YouTube live event is here.

The seminar is oriented on the details of the implementation and is not an introduction to the language, although we expect to introduce it briefly.

Relevant reading

• The Hackett Manual, including a guide.
• Type Systems as Macros, by Stephen Chang, Alex Knauth, and Ben Greenman. The core implementation technique used by Hackett.
• Complete and easy bidirectional typechecking for higher-rank polymorphism, by Joshua Dunfield and Neelakantan R. Krishnaswami, which provides the basis of the typechecking algorithm used by Hackett.
• Realizing Hackett, a metaprogrammable Haskell, a blog post by Alexis.
• Hackett progress report, a blog post by Alexis.