4 ms·
> Both Clojure and Common Lisp have type systems that can do most things ml and haskell can do. I don't know about that, Haskell has quite a few very non-trivi
by freyrs3 13y ago
> Both Clojure and Common Lisp have type systems that can do most things ml and haskell can do.
I don't know about that, Haskell has quite a few very non-trivial extensions in it's type system that I have yet to see replicated outside of research languages. ( Rank-N Types, GADTs, Kind polymorphism, etc).
- nickik 13y agoSee things, like this http://en.wikipedia.org/wiki/Qi_%28programming_language%29 http://en.wikipedia.org/wiki/Qi_%28programming_language%29 or https://github.com/clojure/core.typed https://github.com/clojure/core.typed
- freyrs3 13y agoBoth of those projects implement fairly simple type systems, they both even look simpler than even ML. Having at least outer rank-1 quantification is what I consider a "modern" typing system.
- nickik 13y agoIm not a expoert. But I think at least Qi is as advanced as haskell or ml. The clojure one is relativly new and not jet full featured.