[bitc-dev] Vectors and mutability and bears (oh my)

[Ben Kloosterman]

Yes .. the concept and type classes are new to me.

 

Ben

 

 

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


Sorry, but do you mean *dependent* types?





-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.coyotos.org/pipermail/bitc-dev/attachments/20101106/8ca5f84c/attachment-0001.html