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

Hacker Newsnew | past | comments | ask | show | jobs | submit

		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 Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact