If macros can implement arbitrary language features then how come elisp has never built a type system?
I would expect you can.
lexilambda created Typed Racket on top of Racket. https://github.com/racket/typed-racket
loading story #49300650
{"deleted":true,"id":49300512,"parent":49300353,"time":1786722925,"type":"comment"}