[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: SPAD and Aldor again
From: |
Martin Rubey |
Subject: |
Re: [Axiom-developer] Re: SPAD and Aldor again |
Date: |
17 Nov 2006 19:26:52 +0100 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
Gabriel Dos Reis <address@hidden> writes:
> Martin Rubey <address@hidden> writes:
>
> | Gabriel Dos Reis <address@hidden> writes:
> |
> | > | What are "algebraic types"?
> | >
> | > Ralf and you have been doing it in your project, I think. Basically,
> | > an algebraic type is any data type on can construct with sum and
> | > products. Examples,
> | >
> | > BinaryTree t = Nil | Node t (BinaryTree t) (BinaryTree t)
> | >
> | >
> | > Data of algebraic type are constructed with the constructors, and they
> | > are deconstructed through pattern matching.
> |
> | Well, in fact I need more than that, namely mutually dependent recursively
> | defined types.
>
> Recursive algebraic types is a redundancy :-)
But I didn't say "algebraic"! I want it for any functions F, G:
>
> A = F(A,B)
> B = G(A,B)
>
> goes without saying.
So, in what sense is "algebraic" not covered by the above?
Martin
- Re: [Axiom-developer] Re: SPAD and Aldor again, (continued)
- Re: [Axiom-developer] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Waldek Hebisch, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, C Y, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again,
Martin Rubey <=
- Re: [Axiom-developer] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Ralf Hemmecke, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Ralf Hemmecke, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
- RE: [Axiom-developer] Re: SPAD and Aldor again, Bill Page, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Ralf Hemmecke, 2006/11/17
- RE: [Axiom-developer] Re: SPAD and Aldor again, Bill Page, 2006/11/17
- Re: [Axiom-developer] Re: SPAD and Aldor again, Vanuxem Gregory, 2006/11/17
- RE: [Axiom-developer] Re: SPAD and Aldor again, Bill Page, 2006/11/17