[bitc-dev] Vectors and mutability and bears (oh my)
bklooste at gmail.com
Sat Nov 6 02:56:26 PDT 2010
Yes .. the concept and type classes are new to me.
I suppose it depends on how dependable types work out eg the dynamic array
discussed in the ring buffer . If it is handled well by dependable types I
see no purpose for vectors in the language ( obviously it will be in the run
Sorry, but do you mean *dependent* types?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the bitc-dev