Hacker GitHub

← All repos

typedclojure/typedclojure

View on GitHub ↗ ★ 633 Clojure

An optional type system for Clojure

7 mentions on Hacker News by 7 people: 0 stories, 7 comments · first 2020-06-04 · latest 2026-07-06

Mentions per year 7 mentions · busiest year 2023 (2)
20082026
AllStoriesComments NewestTopOldest
  1. Unless you use Typed Clojure, which is a library. https://github.com/typedclojure/typedclojure I haven't used it, so I don't know its tradeoffs; but its docs say its types exist at compile time: https://github.com/clojure/core.typed/wiki/Us…
    comment by xoxolian · 2026-07-06 · in Clojure 1.13 adds support for checked keys
  2. typed Clojure has both Clojure and ClojureScript implementations, so it's not tied to the JVM https://github.com/typedclojure/typedclojure
    comment by yogthos · 2026-01-03 · in Jank Lang Hit Alpha
  3. I wonder how this works with https://github.com/typedclojure/typedclojure
    comment by cies · 2024-11-29 · in Show HN: Indentation-based syntax for Clojure
  4. …being annotated and type-checked at compile time. [1] https://github.com/clojure/core.typed [2] https://github.com/typedclojure/typedclojure [3] https://github.com/typedclojure/typedclojure/blob/main/examp... [4]…
    comment by klibertp · 2023-10-20 · in Does Go Have Subtyping?
  5. There is a similar project for Clojure: https://github.com/typedclojure/typedclojure
    comment by Pet_Ant · 2023-01-31 · in Typed Lisp, A Primer (2019)
  6. Seeing that there is a need for type checking in Clojure. Has anyone used https://github.com/typedclojure/typedclojure in production?
    comment by logistark · 2021-06-04 · in Tour of our 250k line Clojure codebase
  7. …have much interest in dealing with full-time (yet). One has to choose one's poison I suppose. [0]: https://github.com/typedclojure/typedclojure
    comment by lorddoig · 2020-06-04 · in A History of Clojure [pdf]