4 ms·
Is there any specific reason why macros can't work in a statically typed language? How does Typed Racket handle this. Or does it not have macros?
by hencq 14y ago
Is there any specific reason why macros can't work in a statically typed language? How does Typed Racket handle this. Or does it not have macros?
- heretohelp 14y agoTyped Racket is more like type annotations with a checking routine than anything, if you're writing a macro you want generality. You achieve this by omitting the type annotation and reverting to normal Racket. You can do macros in a statically typed language, but it would (and does) get ugly fast.