Re:Clojure 1.2 Beta
by 45g on Wednesday July 14, 2010 @05:48PM
(#1516072)
I wonder if someone wants to port the type checker of Typed Racket over to Clojure?
[ Parent
| on HN ]
The type checker would have to play nice with java types. Does the racket type checker support inheritance and interfaces/protocols?