1. 13

  2. 2

    Very cool. I hadn’t seen much activity in the typed assembly language (TAL) design space since a semi-hyped call-to-arms for “proof-carrying code”, maybe around 2000.

    I don’t have the focus to dig into it right now, but TAL looks like a promising way to safely implement aggressive optimisations. I’m especially intrigued that there’s an example called “JIT” :)