Has there been any work on looking at the relationship between monomorphised, static polymorphism (like in C++ and Rust, etc), and staged programming? I think the interesting thing here is that instead of inlining stuff, we sort of memoize each instantiation?
Conversation
This immediately comes to mind:
Partial Evaluation for Dictionary-free Overloading by Mark P. Jones
web.cecs.pdx.edu/~mpj/pubs/RR-9
1
2
8
Replying to
Oh neat, thanks! Was aware of this paper but hadn't made the connection!