if there were a class textbook on typed metaprogramming (not that I'm even remotely qualified to write this), what topics/problems would you like to see covered?
Conversation
Is this a textbook about *using* typed metaprogramming in practice or *implementing* typed metaprogramming facilities in a compiler?
1
Using. Implementing is a whole other beast that probably isn’t covered by any undergrad level course.
1
1
but I want to implement it 😆😢