Hacker News new | past | comments | ask | show | jobs | submit
BeetleB | on: Gödel, Escher, Elisp: The Beauty of Macros
I would expect you can.

lexilambda created Typed Racket on top of Racket. https://github.com/racket/typed-racket