IBibotty·Jan 22, 2013
have a look at typed clojure
https://github.com/frenchy64/typed-clojure
https://news.ycombinator.com/item?id=4697634
In Static types are great, but I don't use them in practicefrenchy64
typed-clojure
Clojure2012–2013
frenchy64 / typed-clojure · Archived
typed-clojure
DEPRECATED SEE BELOW Gradual typing for Clojure
4Distinct people
4Mentions
0Explicit recommenders
205GitHub stars
What to know before exploring
What it is
DEPRECATED SEE BELOW Gradual typing for Clojure
GitHub
Where it is used
No documented product use has been verified yet.
What people are saying
No recommendation phrase was found in the indexed comments.
No classified warning is attached to this page. Read the discussions before treating silence as approval.
Also in these discussions
No other repository is repeatedly linked in the same discussions.
This week on Hacker News
Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 1:49:46 PM UTC.
No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.
Mentions over time
HN mentions by month4 dated mentions
Observed mentions: 2012-04-04 12:43:12 UTC to 2013-01-22 08:27:46 UTC.
Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.
View mention counts and date ranges
| Period | Start (UTC) | End (exclusive, UTC) | Mentions | Submissions | Comments |
|---|---|---|---|---|---|
| Apr 2012 | 2012-04-01 00:00:00 UTC | 2012-05-01 00:00:00 UTC | 2 | 1 | 1 |
| May 2012 | 2012-05-01 00:00:00 UTC | 2012-06-01 00:00:00 UTC | 0 | 0 | 0 |
| Jun 2012 | 2012-06-01 00:00:00 UTC | 2012-07-01 00:00:00 UTC | 0 | 0 | 0 |
| Jul 2012 | 2012-07-01 00:00:00 UTC | 2012-08-01 00:00:00 UTC | 0 | 0 | 0 |
| Aug 2012 | 2012-08-01 00:00:00 UTC | 2012-09-01 00:00:00 UTC | 1 | 0 | 1 |
| Sep 2012 | 2012-09-01 00:00:00 UTC | 2012-10-01 00:00:00 UTC | 0 | 0 | 0 |
| Oct 2012 | 2012-10-01 00:00:00 UTC | 2012-11-01 00:00:00 UTC | 0 | 0 | 0 |
| Nov 2012 | 2012-11-01 00:00:00 UTC | 2012-12-01 00:00:00 UTC | 0 | 0 | 0 |
| Dec 2012 | 2012-12-01 00:00:00 UTC | 2013-01-01 00:00:00 UTC | 0 | 0 | 0 |
| Jan 2013 | 2013-01-01 00:00:00 UTC | 2013-02-01 00:00:00 UTC | 1 | 0 | 1 |
What Hacker News says
4 sourcesThere are a few features from Yegge's conservative list that I wish Clojure had. For example there is some very interesting work going on to support optional static typing. https://github.com/frenchy64/typed-clojure
But this article was not about what is desired, but about what is -- Clojure is not currently very "conservative" according Yegge's definition, for better or worse.
In Clojure is not Software Conservative>Whether enforced compile-time strong type checking is a benefit seems to depend on the programmer.
And, due to the lisp's nature, you can have static type checking as a library, eg. there's some work on it for clojure https://github.com/frenchy64/typed-clojure, and AFAIK it's based on work already done by Typed Racked/Scheme.
Also I believe that because clojure is a lisp, has very few special forms, is immutable, has nice ns/var semantics and overall focuses on simplicity - you could build quality code analysis tools with relative ease, something that will do search on code for common error paterns, maybe even do verification outside type system with custom DSL. It's something that I would like to explore in few months after I finish my current project.
In The perils of Lisp in production