ANNOUNCE: parameterized-data 0.1 - Parameterized data library implementing lightweight dependent types

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

ANNOUNCE: parameterized-data 0.1 - Parameterized data library implementing lightweight dependent types

Bugzilla from alfonso.acosta@gmail.com
 This library provides an implementation of parameterized types using
type-level computations to implement the type parameters and emulate
dependent types.

 Right now only fixed-sized vectors are provided (based on Oleg's
"Number-parameterized types" [1]  and Frederik Eaton's Vectro library
[2])

HackageDB page:
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/parameterized-data-0.1

Darcs repository: http://code.haskell.org/parameterized-data/

Again, big thanks to Oleg and Wolfgang for their help and suggestions.

[1] http://okmij.org/ftp/Haskell/number-parameterized-types.html
[2] http://ofb.net/~frederik/vectro/
_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe