Dependent Type Systems as Macros cropped up on HN a couple of times recently... p30 of https://www.mpoffald.com/papers/depmacros.pdf https://www.mpoffald.com/p

Dependent Type Systems as Macros cropped up on HN a couple of times recently... p30 of https://www.mpoffald.com/papers/depmacros.pdf https://www.mpoffald.com/papers/depmacros.pdf has a table comparing the macro systems of various langs Seems only Racket has enough juice to do this, for now :) (though I do wonder if some of those missing features couldn't be provided by libraries in other languages)