[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiomdeveloper] Re: FW: data structure vs. mathematical structure
From: 
Gabriel Dos Reis 
Subject: 
[Axiomdeveloper] 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: [Axiomdeveloper] Graph theory), Gabriel Dos Reis, 2006/11/13
 FW: data structure vs. mathematical structure (was: [Axiomdeveloper] Graph theory), Bill Page, 2006/11/13
 Re: FW: data structure vs. mathematical structure (was: [Axiomdeveloper] Graph theory), Gabriel Dos Reis, 2006/11/13
 RE: FW: data structure vs. mathematical structure (was: [Axiomdeveloper] Graph theory), Bill Page, 2006/11/13
 Re: FW: data structure vs. mathematical structure (was: [Axiomdeveloper] Graph theory), Gabriel Dos Reis, 2006/11/14
 RE: FW: data structure vs. mathematical structure (was: [Axiomdeveloper] Graph theory), Bill Page, 2006/11/14
 Re: FW: data structure vs. mathematical structure (was: [Axiomdeveloper] Graph theory), Gabriel Dos Reis, 2006/11/14
 RE: FW: data structure vs. mathematical structure (was: [Axiomdeveloper] Graph theory), Page, Bill, 2006/11/14
 [Axiomdeveloper] Re: FW: data structure vs. mathematical structure, Ralf Hemmecke, 2006/11/14
 [Axiomdeveloper] Re: FW: data structure vs. mathematical structure,
Gabriel Dos Reis <=
 [Axiomdeveloper] RE: FW: data structure vs. mathematical structure, Page, Bill, 2006/11/15
 [Axiomdeveloper] Re: FW: data structure vs. mathematical structure, Ralf Hemmecke, 2006/11/15
 Re: [Axiomdeveloper] Re: FW: data structure vs. mathematical structure, Martin Rubey, 2006/11/15
 [Axiomdeveloper] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/15
 [Axiomdeveloper] Re: FW: data structure vs. mathematical structure, Ralf Hemmecke, 2006/11/15
 [Axiomdeveloper] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/15
 [Axiomdeveloper] Re: FW: data structure vs. mathematical structure, Ralf Hemmecke, 2006/11/15
 [Axiomdeveloper] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/15
 [Axiomdeveloper] RE: FW: data structure vs. mathematical structure, Page, Bill, 2006/11/15
 [Axiomdeveloper] Re: FW: data structure vs. mathematical structure, Gabriel Dos Reis, 2006/11/15