logoalt Hacker News

KeenanKeenan • today at 3:45 PM • 4 replies • view on HN

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

Replies

BeetleB • today at 4:07 PM

I would expect you can.

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

wk_end • today at 3:58 PM

Well, not elisp, but

https://coalton-lang.github.io

or maybe

https://shen-language.github.io

➕ show 2 replies
iLemming • today at 6:41 PM

[flagged]