On Thu, Apr 19, 2012 at 4:38 PM, Ambrose Bonnaire-Sergeant < [email protected]> wrote:
> I am working on an optional type system for Clojure. It looks more like > Scala's type system, ie. working on top of existing Java types. > > I saw Gilad Bracha speak a couple weeks ago about the design of Dart. Dart's optional type system is based around the philosophy that annotating code with types should never cause your code to not compile or in any way behave differently than it would in dynamic typing mode. Adding types just causes the compiler to emit warnings if things don't match up right. In a sense, it's a "type assertion" system. Seems like this would be a good system to draw inspiration from, and would fit nicely with Clojure's philosophy. -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to [email protected] Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/clojure?hl=en
