From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,103b407e8b68350b X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-02-04 05:29:50 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!iad-peer.news.verio.net!news.verio.net!newsfeed.vmunix.org!fu-berlin.de!uni-berlin.de!tar-alcarin.cbb-automation.DE!not-for-mail From: Dmitry A. Kazakov Newsgroups: comp.lang.ada Subject: Re: Anybody in US using ADA ? One silly idea.. Date: Tue, 04 Feb 2003 14:26:25 +0100 Message-ID: <78fv3v01a8sloed7mas2inatm73nhfamqb@4ax.com> References: NNTP-Posting-Host: tar-alcarin.cbb-automation.de (212.79.194.111) Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: fu-berlin.de 1044365185 38378038 212.79.194.111 (16 [77047]) X-Newsreader: Forte Agent 1.8/32.548 Xref: archiver1.google.com comp.lang.ada:33762 Date: 2003-02-04T14:26:25+01:00 List-Id: On Tue, 4 Feb 2003 22:50:01 -0800, "AG" wrote: >"Grein, Christoph" wrote in message >news:mailman.14.1044350541.3911.comp.lang.ada@ada.eu.org... > >> That's a very peculiar definiton of "subset", to say at least. > >See below. It seems we are talking two different definitions >of [sub]sets: You seem to imply that only *values* count >in defining subsets. My point is that *operations* on them >are just as if not more important. Yes, but for LSP-subtypes, not for subsets. Subset is a well-defined term and there is no need to overload it. Only if we will consider types as sets of values + closure of all operations on them, then, probably this construct for an LSP-subtype would be a subset of one of its base type. Anyway, an absolute LSP is absolutely useless. (:-)) --- Regards, Dmitry Kazakov www.dmitry-kazakov.de