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
