> If you can come up with a SPAD-compatible replacement for the construct
>
> SPECIES == (L: LabelType) -> CombinatorialSpecies L;
> Plus(
> F: SPECIES,
> G: SPECIES
> )(L: LabelType): CombinatorialSpecies(L) == add [...]
>
> you shall be praised and I'll stop talking about language semantics from now on
> and refer to you instead.
It would be even better if that could become
Plus(
F: SPECIES,
G: SPECIES
): SPECIES == (L: LabelType): CombinatorialSpecies(L) +-> add {...}
But then (as you see) Plus is an ordinary function (that produces
domains) and not a functor (or rather domain in Aldor-speak). According
to the Aldor specification that should be equivalent (at least as I read
it), but I remember that I had some problems if I write that. Especially
when it comes to domains like L (list) that are recursively defined as L
= 1 + X*L. (If somebody wants more details, I try to produce a concrete
problem description.)
Ralf
_______________________________________________
Aldor-l mailing list
Aldor-l@...
http://aldor.org/mailman/listinfo/aldor-l_aldor.org
