27 Jun
2010
27 Jun
'10
4 p.m.
On Jun 27, 2010, at 12:29 PM, Alexey Khudyakov wrote:
This is of course faster but what I really want is vectors with length parametrized by type. This way I can write generic code. Uniform representation is requirement for that.
You're going to need dependent types, or a similar construction, for that. "Do We Need Dependent Types?" http://www.brics.dk/RS/01/10/index.html