3 ms·
Clojure is a language that has been teaching me a lot about different avenues of programming I hadn't previously encountered. I know many of them aren't new, bu
by phren0logy 16y ago
Clojure is a language that has been teaching me a lot about different avenues of programming I hadn't previously encountered. I know many of them aren't new, but they are new to me and yet still approachable.
I really like the type-hinting approach; more detail and performance if you want or need, but otherwise don't bother. I guess it still doesn't have the type-safety of a static language, but now it has the performance.
- grogers 16y agoI bet that something similar to the http://www.it.uu.se/research/group/hipe/papers/succ_types.pdf http://www.it.uu.se/research/group/hipe/papers/succ_types.pd... success typing used in erlang's dialyzer could be used to provide some level of type checking. Type hinting would only make this simpler (and with a strong contract).