[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 18:20:59 +0100 |
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 :-)
A = F(A,B)
B = G(A,B)
goes without saying.
-- Gaby
- Re: [Axiom-developer] Re: SPAD and Aldor again, (continued)
- 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 <=
- 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, 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