[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: FW: data structure vs. mathematical structure
From: |
Gabriel Dos Reis |
Subject: |
[Axiom-developer] Re: FW: data structure vs. mathematical structure |
Date: |
15 Nov 2006 02:29:39 +0100 |
Ralf Hemmecke <address@hidden> writes:
[...]
| ++ A set over a domain D models the usual mathematical notion of a
| ++ finite set of elements from D.
|
| Although
|
| i: Integer
|
| and
|
| s: FinitePowerSet T
|
| would be in perfect analogy if one read ":" as "element of", then to
| go on "l: List T" would mean "List" is the container of all finite
| sequences (with some information about their representation (linked
| list)).
And that would match the usual definition of List as the least fixed
point of the functor
X |-> 1 + X
in CPO.
However, the existence of 1.. in Axiom would suggest that actually
some people think of List as the greatest fixed point.
-- Gaby
- Re: data structure vs. mathematical structure (was: [Axiom-developer] Graph theory), Gabriel Dos Reis, 2006/11/13
- FW: data structure vs. mathematical structure (was: [Axiom-developer] Graph theory), Bill Page, 2006/11/13
- Re: FW: data structure vs. mathematical structure (was: [Axiom-developer] Graph theory), Gabriel Dos Reis, 2006/11/13
- RE: FW: data structure vs. mathematical structure (was: [Axiom-developer] Graph theory), Bill Page, 2006/11/13
- Re: FW: data structure vs. mathematical structure (was: [Axiom-developer] Graph theory), Gabriel Dos Reis, 2006/11/14
- RE: FW: data structure vs. mathematical structure (was: [Axiom-developer] Graph theory), Bill Page, 2006/11/14
- Re: FW: data structure vs. mathematical structure (was: [Axiom-developer] Graph theory), Gabriel Dos Reis, 2006/11/14
- RE: FW: data structure vs. mathematical structure (was: [Axiom-developer] Graph theory), Page, Bill, 2006/11/14
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Ralf Hemmecke, 2006/11/14
- [Axiom-developer] Re: FW: data structure vs. mathematical structure,
Gabriel Dos Reis <=
- [Axiom-developer] RE: FW: data structure vs. mathematical structure, Page, Bill, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Ralf Hemmecke, 2006/11/15
- Re: [Axiom-developer] Re: FW: data structure vs. mathematical structure, Martin Rubey, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Ralf Hemmecke, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Ralf Hemmecke, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/15
- [Axiom-developer] RE: FW: data structure vs. mathematical structure, Page, Bill, 2006/11/15
- [Axiom-developer] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/15