[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Aldor-l] [Axiom-developer] Re: exports and constants
From: |
Bill Page |
Subject: |
RE: [Aldor-l] [Axiom-developer] Re: exports and constants |
Date: |
Mon, 24 Jul 2006 21:23:10 -0400 |
On July 24, 2006 9:10 PM Gaby wrote:
>
> Bill Page writes:
> [...]
> | But perhaps "has" is not so weak. What other applications of
> | reflection are there other then conditional ones?
>
> Support for generic programming.
>
> http://haskell.org/th/
> http://www.iai.uni-bonn.de/~loeh/ExploringGH.pdf
>
It is clear isn't it, that one of the primary motivations for Aldor
(at least in the context of Axiom) is to provide exactly this sort
of "generic programming"? It seems to me that this is done using
only "has" and polymorphic types.
In Andres Loh's thesis it says:
"The possibility to define functions by analysis of the structure
of datatypes is what we call generic programming in the context of
this thesis."
How would more general forms of reflection within Aldor help to
achieve this?
> ...
Regards,
Bill Page.
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, (continued)
[Axiom-developer] Re: [Aldor-l] exports and constants, Christian Aistleitner, 2006/07/21
- [Axiom-developer] Re: [Aldor-l] exports and constants, Ralf Hemmecke, 2006/07/21
- [Axiom-developer] Re: [Aldor-l] exports and constants, Christian Aistleitner, 2006/07/24
- [Axiom-developer] Re: [Aldor-l] exports and constants, Ralf Hemmecke, 2006/07/24
- Re: [Axiom-developer] Re: [Aldor-l] exports and constants, Gabriel Dos Reis, 2006/07/24
- RE: [Axiom-developer] Re: [Aldor-l] exports and constants, Bill Page, 2006/07/24
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Gabriel Dos Reis, 2006/07/24
- RE: [Aldor-l] [Axiom-developer] Re: exports and constants,
Bill Page <=
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Gabriel Dos Reis, 2006/07/24
- RE: [Aldor-l] [Axiom-developer] Re: exports and constants, Bill Page, 2006/07/24
- Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Gabriel Dos Reis, 2006/07/24
Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Jacques Carette, 2006/07/25
Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Gabriel Dos Reis, 2006/07/25
Re: [Axiom-developer] Re: [Aldor-l] exports and constants, Ralf Hemmecke, 2006/07/25
Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Christian Aistleitner, 2006/07/26
Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Ralf Hemmecke, 2006/07/26
Re: [Aldor-l] [Axiom-developer] Re: exports and constants, root, 2006/07/26
Re: [Aldor-l] [Axiom-developer] Re: exports and constants, Ralf Hemmecke, 2006/07/26