Transparency

[Mark Thornton]

Nathan Bryant wrote:
> Perhaps too much hay is being made out of the parallel use case.
>
> Having a decent set of combinators in collections frameworks may result
> in programmers being more likely to use bulk operations where
> appropriate, minimizing the tendency to do things like coding
> application logic in SQL, nesting SQL in loops...
>
> That being said, I think it's going to be a lot harder (i.e., nearly
> impossible) to get primitives-in-generics and specialization right, than
> to get function types right.
>
> The problem for both primitives-in-generics and specialization is
> they're somewhat hobbled by lack of reification... and it's too late for
> reification.
>   
I don't think it is too late for reification, but it does seem to be 
necessary to support both reified and non reified (erased) classes, and 
possibly classes where some but not all type parameters are reified. 
Primitive type parameters are unavoidably reified (as far as I can see), 
so not supporting reification for other types would be peculiar.

Mark Thornton