[Haskell-cafe] Re: Implementing fixed-sized vectors (using
g9ks157k at acme.softbase.org
Sun Feb 10 11:45:16 EST 2008
Am Samstag, 9. Februar 2008 23:46 schrieben Sie:
> 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
I was just refering to Stefan’s argument that :* should be treated as a form
of concatenation. From your point of view, it’s clear, of course.
More information about the Haskell-Cafe