A big part of it is that Clojure, being based on the JVM, has to deal with 
inheritance and polymorphism in the core type system. An algebraic type system 
like that of Haskell, OCaml, Scheme doesn't have to deal with inheritance. 
There is parametric polymorphism, but that's based on type classes, not 
inheritance.

-Fred

--
Science answers questions; philosophy questions answers.

On Jul 15, 2010, at 5:23 PM, ntu...@googlemail.com wrote:

> On Jul 15, 8:16 pm, Tomi Neste <tomi.ne...@gmail.com> wrote:
>> But I don't think it would be easy to make it work with Clojure,
>> given how polymorphic and dynamic the language is (IMHO Scheme is not too
>> far from ML when it comes to type systems).
> 
> Please expand.
> 
> - nt
> 
> -- 
> 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

-- 
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