For Racket (formely PLT Scheme), there exists a dialect called "Typed
Racket" [1], which allows for static type checking. I wonder if it is
feasible to port the typechecker to Clojure? Any ideas?

- nt

-----
[1]  http://docs.racket-lang.org/ts-guide/index.html

-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en

Reply via email to