3 ms·

This seems like the OOP approach to Oleg's typed tagless final interpreters.

• dwenzek 11y ago
  Indeed, here is a post which elaborates the connection : https://news.ycombinator.com/item?id=8904182 https://news.ycombinator.com/item?id=8904182