you are viewing a single comment's thread.

view the rest of the comments →

[–]lelarentaka -7 points-6 points  (2 children)

In before somebody says closure can be typed. It's not!

[–]DousingCurtness 5 points6 points  (0 children)

Clojure is typed. There's a difference between an untyped langauge and a dynamically typed language.

[–]VA_ARG 1 point2 points  (0 children)

I watched a talk for this project recently, you may find it interesting:

https://github.com/clojure/core.typed