[Haskell-cafe] writing a function to make a correspondance between type-level integers and value-level integers

oleg at okmij.org oleg at okmij.org
Tue Jun 18 07:37:58 CEST 2013

I'm late to this discussion and must have missed the motivation for
it. Specifically, how is your goal, vector/tensor operations that are
statically assured well-dimensioned differs from general
well-dimensioned linear algebra, for which several solutions have been
already offered. For example, the Vectro library has been described
back in 2006:

The paper also talks about reifying type-level integers to value-level
integers, and reflecting them back. Recent GHC extensions (like
DataKinds) make the code much prettier but don't fundamentally change
the game.

More information about the Haskell-Cafe mailing list