[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-mail] Spad and inductive types
From: |
Gabriel Dos Reis |
Subject: |
RE: [Axiom-mail] Spad and inductive types |
Date: |
Tue, 8 May 2007 10:21:59 -0500 (CDT) |
On Tue, 8 May 2007, Bill Page wrote:
| > I have more to say later.
|
| We're listening. :-)
One of the issues I have with many of the various alternatives is
that they make definition of new functions operating on Expr
also impossible (by a third person) without intimate knowledge
of the representation of Expr, or modifying the Expr domain.
In contrast, in Haskell or Boot codes, once I give that data type
definition, people are free to add more operations without knowing
more of the internal representations.
That is not quibbling.
-- Gaby
- [Axiom-mail] Spad and inductive types, Gabriel Dos Reis, 2007/05/06
- Re: [Axiom-mail] Spad and inductive types, Martin Rubey, 2007/05/07
- RE: [Axiom-mail] Spad and inductive types, Bill Page, 2007/05/07
- Re: [Axiom-mail] Spad and inductive types, Gabriel Dos Reis, 2007/05/07
- RE: [Axiom-mail] Spad and inductive types, Bill Page, 2007/05/08
- Re: [Axiom-mail] Spad and inductive types, Ralf Hemmecke, 2007/05/08
- RE: [Axiom-mail] Spad and inductive types,
Gabriel Dos Reis <=
- Re: [Axiom-mail] Spad and inductive types, Ralf Hemmecke, 2007/05/08
- Re: [Axiom-mail] Spad and inductive types, Ralf Hemmecke, 2007/05/08
- Re: [Axiom-mail] Spad and inductive types, Gabriel Dos Reis, 2007/05/08
- Re: [Axiom-mail] Spad and inductive types, Gabriel Dos Reis, 2007/05/07
Re: [Axiom-mail] Spad and inductive types, Gabriel Dos Reis, 2007/05/07