[Haskell-cafe] ANN: fixed-vector

Michael Orlitzky michael at orlitzky.com
Mon Nov 12 05:18:00 CET 2012

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?

More information about the Haskell-Cafe mailing list