On Sep 8, 2009, at 10:48 AM, David Fetter wrote:
> I'd like to see pseudo-types like ANYNUMERIC, and allow it to take an
> array decorator, which would really help for math-ish functions. Not
> sure where that fits in this discussion.
Perhaps typcategory could be leveraged here?
..Tho, if I understand the general direction, I think it would be
along the lines of type classes/interfaces..