Comment by Y_Y
2 years ago
This reminds me strongly of Absal[0]. Could somebody familiar with both give a comparison?
This looks like a really cool idea, and I'd love to see a GHC backend for it.
It might also be nice to have a brief explanation if an interaction between without just linking to a big theory paper.
[0] https://github.com/VictorTaelin/abstract-algorithm
eta: I only now notice that Victor Taelin is the author of both packages.
Absal is just an early implementation and experiment. It is written in JS and not meant to be a production-ready runtime and general purpose compilation target. HVM has that goal. That said, Absal is a great repo to study and learn the theory.