Do you know about the Typed Clojure project? More or less Racket's contract syst... | Hacker News

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

login

metasoarous on May 7, 2021 | parent | context | favorite | on: Six years of professional Clojure development

Do you know about the Typed Clojure project? More or less Racket's contract system, for Clojure:

https://github.com/clojure/core.typed

To me, it's one of the great testaments to the power of Lisp that you can bolt on a static type system after the fact.

dkersten on May 7, 2021 [–]

Yes, but it’s really not the same as first class static typing support. It also doesn’t help when none of the libraries you use have type annotations and when I last looked it was also quite slow.

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact