[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiomdeveloper] Re: SPAD and Aldor again
From: 
Gabriel Dos Reis 
Subject: 
Re: [Axiomdeveloper] 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: [Axiomdeveloper] Re: SPAD and Aldor again, (continued)
 Re: [Axiomdeveloper] Re: SPAD and Aldor again, Peter Broadbery, 2006/11/17
 Re: [Axiomdeveloper] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
 Re: [Axiomdeveloper] Re: SPAD and Aldor again, Waldek Hebisch, 2006/11/17
 Re: [Axiomdeveloper] Re: SPAD and Aldor again, C Y, 2006/11/17
 Re: [Axiomdeveloper] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/17
 Re: [Axiomdeveloper] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
 Re: [Axiomdeveloper] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/17
 Re: [Axiomdeveloper] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
 Re: [Axiomdeveloper] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/17
 Re: [Axiomdeveloper] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
 Re: [Axiomdeveloper] Re: SPAD and Aldor again,
Gabriel Dos Reis <=
 Re: [Axiomdeveloper] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
 Re: [Axiomdeveloper] Re: SPAD and Aldor again, Gabriel Dos Reis, 2006/11/17
 Re: [Axiomdeveloper] Re: SPAD and Aldor again, Ralf Hemmecke, 2006/11/17
 Re: [Axiomdeveloper] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
 Re: [Axiomdeveloper] Re: SPAD and Aldor again, Ralf Hemmecke, 2006/11/17
 Re: [Axiomdeveloper] Re: SPAD and Aldor again, Martin Rubey, 2006/11/17
 RE: [Axiomdeveloper] Re: SPAD and Aldor again, Bill Page, 2006/11/17
 Re: [Axiomdeveloper] Re: SPAD and Aldor again, Ralf Hemmecke, 2006/11/17
 RE: [Axiomdeveloper] Re: SPAD and Aldor again, Bill Page, 2006/11/17
 Re: [Axiomdeveloper] Re: SPAD and Aldor again, Vanuxem Gregory, 2006/11/17