Hacker News new | past | comments | ask | show | jobs | submit login

I need types. But Racket has the world's greatest macro system and everybody should imitate it, Period.



Have you tried Typed Racket? https://docs.racket-lang.org/ts-guide/


Somebody always asks :).

1) I want my libraries to be typed all the way down.

2) Improving the implementation of typed racket is harder/less likely than fixing the macro systems of Rust and Haskell.

3) Network effects of those two languages.




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: