On 9 Mrz., 20:42, Raoul Duke <rao...@gmail.com> wrote: > ok oops that didn't work, sorry -- i mean to send this link: > > http://www.ccs.neu.edu/home/samth/typed-scheme/manual/
That is not too far away of what I had in mind. What I would like is if it were even a bit more optional. Typed Scheme allows to have a specific module statically typed without having to touch the others. I would like to go even further, by allowing in the same file/module to have code as we have it today, and code for which the compiler can give us support by doing compile time checks. At two places we would need a hook to add typing information. This could happen via metadata. Those places are: variable binding (such as def, let or function parameters), and the return values of functions. A global or namespace based switch would be also a nice thing to have. --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
