[Haskell-cafe] Re: Implementing fixed-sized vectors
(using datatype algebra?)
isaacdupree at charter.net
Mon Feb 11 15:44:46 EST 2008
Alfonso Acosta wrote:
>> So type-level + parametrized-data is my vote. But don't let's spend too much
>> time discussing the name. ;-)
> Fair enough. type-level + parameterized-data it is then (unless
> someone else has a better suggestion). I'm going to begin coding now.
hang on, "parametrized" or "parameterized"? -- both seem like plausible
spellings, but there's an "e" different between what you two said!
More information about the Haskell-Cafe