Efficient, Extensible, Expressive: Typed Tagless Final Interpreters in Rust
getcode.substack.com
An explanation of typed tagless final interpreters by Carette et al, with examples in Rust. The main contribution of this post is to explain what "typed tagless final" means, and show that Rust with generic associated types (GATs) is a good fit for writing interpreters in the final style.
Efficient, Extensible, Expressive: Typed Tagless Final Interpreters in Rust
Efficient, Extensible, Expressive: Typed…
Efficient, Extensible, Expressive: Typed Tagless Final Interpreters in Rust
An explanation of typed tagless final interpreters by Carette et al, with examples in Rust. The main contribution of this post is to explain what "typed tagless final" means, and show that Rust with generic associated types (GATs) is a good fit for writing interpreters in the final style.