Conversation

What statically typed languages have the most advanced metaprogramming features? Staging or typed splices would be interesting, but I'm sure there's plently of features I haven't heard of. (Experimental/research langs are fine if I can build the compiler myself to try it out)

Replying to

and

Kind of interested in that weird Gentle Art of Levitation stuff - ie. first class declarations in dependent types - but I don't know if it's actually been implemented in real language yet. 🤔

3:50 PM · Feb 9, 2018Twitter Web Client

Replying to

Er, Idris?

Ohhhhh!

Replying to

and

Depending on your definition of "real" :P, that stuff should have been implemented as part of the Epigram 2 system. Or at least this is what the paper claims.