On Sunday, May 25, 2014 7:32:42 PM UTC-4, Adam Smith wrote:
>
> I have already encountered this pattern a number of times in just my few
> weeks with Julia; wrapping a function with a version that takes a single
> item with one that takes a collection of them.
>
You typically type the version that takes a single item and don't type the
collection; that way, the collection can handle arbitrary iterable types.
In any case, it's not clear what you are proposing. If you want
Vector{FloatingPoint} in an argument list to mean Vector{T} where
T<:FloatingPoint, then how do you express an argument type that is
specifically a vector of generic FloatingPoint containers, i.e. where you
explicitly want each element to be a "box" that can contain a different
FloatingPoint type?