[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Re: SPAD and Aldor again

From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] Re: SPAD and Aldor again
Date: 17 Nov 2006 21:56:04 +0100

Martin Rubey <address@hidden> writes:


| > Recursive algebraic types is a redundancy :-)
| But I didn't say "algebraic"! I want it for any functions F, G:

The point I'm trying to make -- I suspect it must be too indirect --
is that if we have algebraic types, recursive types (whether algebraic
or not) comes with the framework.

-- Gaby

reply via email to

[Prev in Thread] Current Thread [Next in Thread]