On Wednesday 11 March 2009 20:27:15 chris wrote:
> Lets take this discussion forward and think of how we could
> incrementally add the important benefits of strongly typed and
> inferred systems like ML, Haskell, and F# to Clojure while keeping the
> very beautiful and clean syntax and minimal mental overhead of using a
> LISP derivative.

Check out Mark Tarver's Qi language:

  http://www.lambdassociates.org

It provides an optional and extensible static type system built upon Common 
Lisp.

The main problem is that statically typed languages are often chosen for 
performance reasons and, of course, if you built a static language on top of 
a dynamic language then you lose that benefit. However, that is not true of 
all static languages and Haskell in particular is seeing significant uptake 
right now despite its performance issues. So perhaps it would be most 
productive to have Haskell or a Haskell-like DSL within Clojure if you're 
interested in this kind of thing (I have no idea how useful that would 
actually be!).

-- 
Dr Jon Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/?e

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