Any recent developments on "active libraries" that I'm missing?
I'm interested in libraries that guide compilers for optimizations, but it
- Papers like "Generative Programming and Active Libraries" which usually just
- There's a thesis, "Active Libraries and Universal Languages", which as far as
Two implementations that work well:
- I think Haskell libraries that use GHC's rewrite rules are "active libraries"
- The stream fusion library described in POPL'17 paper "Stream Fusion, to
These are pretty much all I can think of as examples. I'm looking for recent
Active forum topics
New forum topics