On May 11, 2011, at 11:09 AM, Chas Emerick wrote:

> Of course, this isn't how 1.3.0 alphas work now, but unless things are really 
> locked down, I hope the above is a reasonable starting point for discussing 
> how to smooth out the inconsistencies that currently exist.

After some clarifying discussion in #clojure, I wanted to explicitly state my 
concrete suggestions, as I should have done in my original message.  I think 
that:

as much as possible, return type information, whether obtained by a primitive 
or non-primitive hint, should be in the var and function metadata in a form 
amenable to tooling and other runtime introspection
hinting arg vectors in order to indicate function return types is a 
syntactically poor choice
In any case, the syntactic position of function return type hints should be 
consistent regardless of the "category" of return type

- Chas

P.S. BTW, my expectation that :tag metadata should trickle down to functions 
themselves was driven by what looks like a bug in 1.2.0 where it *appears* that 
that happens, but only after one has redefined a var: 
https://gist.github.com/248246a3ac545a20a7b3

-- 
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

Reply via email to