Nicolas, just out of curiosity, what program (or class of program(s))
are you interested in that "can't be typed in Haskell"? I'm always
interested in seeing examples of static typing preventing the
implementation of certain classes of programs, insofar as such things
are an antidote to my tidal fascination with statically-typed languages.
- Chas
On Jul 20, 2010, at 4:07 AM, Nicolas Oury wrote:
4. A part of my research is on type systems more souple than ML's or
Haskell's. The program in my mind can't be typed in Haskell.
Waiting for the perfect static type system, as expressive as a
dynamic one, I'd rather use a dynamic type system.
--
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
