[Haskell-cafe] Re: Implementing fixed-sized vectors (using datatype algebra?)

Alfonso Acosta alfonso.acosta at gmail.com
Sat Feb 9 17:46:54 EST 2008

On Feb 9, 2008 4:08 PM, Wolfgang Jeltsch <g9ks157k at acme.softbase.org> wrote:
> So what would (D1 :* D1) :* (D2 :* D2) mean then?

Nothing. That value doesn't satisfy the Nat or Post class constraints
and should be taken into consideration.

Why should :* be provided a meaning? it is an unavoidable syntactical
connective for all that I care. The meaning is provided by class
constraints and that's all that matter from the semantical point of

More information about the Haskell-Cafe mailing list