Hallo all, Haveing the option of something like that would be nice but atm I think we should not focus on that. Clojure is still a young language and there is enought to do.
We should not confuse people with diffrent dialects of clojure allready. On Jul 15, 7:10 am, Laurent PETIT <laurent.pe...@gmail.com> wrote: > 2010/7/15 Mark Engelberg <mark.engelb...@gmail.com> > > > The nice thing about Racket is the way you can write different parts > > of your program in different Racket languages. So you can write some > > pieces in Typed Racket, and others in Lazy Racket, and others in > > standard Racket. > > > It is my understanding that Typed Racket programs do not run any > > faster than their dynamically-typed counterparts, and in fact commonly > > run slower because there are a lot of additional runtime checks that > > must be inserted to handle various types of unsafe calls that can > > cross module boundaries or be executed at the REPL. Typed Racket is > > purely about safety, not about speed. My guess is that the Clojure > > community would have little interest in any version of static typing > > that did not provide performance benefits. > > Why so ? > > Having the *option* to type the programs could be a big sell in the > enterprise, and could be seen as a very pragmatic addition to the langage. I > suppose here that the type system being pragmatic implies that it remains > optional, allows mixed programs to be "composed" as usual, and is not > "flawed". > My guess is that > a) it's not easy to come up with something "not flawed" > b) it's not easy to design a type system in such a way that "it does not get > in your way" when you don't want to use it (in the REPL, when prototyping, > etc.) > c) Even if points a) and b) are solved, it probably requires a vast amount > of type to implement, and may not have been considered high priority yet > (compared to alll that remains to be added). And also once introduced, it > may be seen a potentially "getting in the way" of potential radical > improvements. > > ? -- 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
