Re: Storing data and code in a Db with LISP-like interface

Dmitry A. Kazakov wrote:
[...]
>But ADTs have far less problems with set theory as the application
> domain than RM. Trivial examples are:
>
> 1. Power set operation
> 2. Set complement in an infinite universal set
> 3. Infinite sets modeled by finite classes of equivalences

The paragraph above does make any obvious sense. Could you elaborate ?

>

[...]
> In mathematics you can go either way. Is integer
> number rational? How different pairs (1,1),(6,6) can both be 1?

You are confused, amigo. In the secondary school algebra, one learns that an integer number ain't no rational. Rationals are the set of equivalence classes of pairs of integers. The pairs (1,1) and (6,6) simply belong to the same equivalence class, there is no need to use 'inheritance' or some other OOP mumbo-jumbo when talking anout this sort of things. Received on Fri May 05 2006 - 13:18:44 CEST