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