Stuck macros: deterministically interleaving macro-expansion and typechecking

Curated as Hackett and Language Design.

Watch this talk on YouTube.

June 2019

Stuck macros: deterministically interleaving macro-expansion and typechecking

Compose NYC 2019 Speaker: Samuel Gélineau A new breed of functional programming languages is emerging: strongly-typed macro languages, such as Hackett and Ty...

  • Hackett
  • Language Design

Share:

  • Twitter
  • Facebook
  • LinkedIn

Related Talks