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'm inspired by Typed Racket, which include recursive types, unions, singleton types, the ability to type complex variable arity functions, and other cool stuff. I'm also eager to steal bounded polymorphism from Scala. This discussion is oriented towards typing interop calls, which are just normal Java Classes/primitives. Thanks, Ambrose On Fri, Apr 20, 2012 at 7:06 AM, James Reeves <jree...@weavejester.com>wrote: > On 19 April 2012 19:46, Ambrose Bonnaire-Sergeant > <abonnaireserge...@gmail.com> wrote: > > I've been doing some thinking about the treatment of nil in a > > statically typed version of Clojure. > > Statically typed in what way? Java's type system doesn't seem > particularly suited to a functional programming language like Clojure. > > - James > > -- > 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 > -- 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
