[Haskell-cafe] ANN: fixed-vector

[Michael Orlitzky]

On 11/10/2012 06:59 AM, Aleksey Khudyakov wrote:
> Hello cafe!
> 
> I want to announce library for the small vectors of fixed length
> fixed-vector[1]. Fixed means that vector's length is determined
> by its type.
> 
> Generic API can work with both ATD-based vector like complex or
> Vec written below and array-based ones.
> 
>> data Vec a = Vec a a a
> 
> It's based on post by Roman Leschinsiy[2].
> 
> 
> Library also provide array-based vectors with memory
> representation similar to onves from vector package. It's more
> compact though because there is no need to store lengh and and
> offset to first element.
> 
> [1] http://hackage.haskell.org/package/fixed-vector
> [2] http://unlines.wordpress.com/2010/11/15/generics-for-small-fixed-size-vectors/


I have a lot of one-off code where I've defined these myself. Is it
possible to e.g. define vectors in R^2 and R^3, and write the p-norm
functions only once?