logoalt Hacker News

KeenanKeenantoday at 3:45 PM3 repliesview on HN

If macros can implement arbitrary language features then how come elisp has never built a type system?


Replies

BeetleBtoday at 4:07 PM

I would expect you can.

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

wk_endtoday at 3:58 PM

Well, not elisp, but

https://coalton-lang.github.io

or maybe

https://shen-language.github.io

show 2 replies