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-Thread: 103376,91965a012526b259 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Float to String Date: Thu, 11 Nov 2004 16:25:13 +0100 Organization: cbb software GmbH Message-ID: <1hodchxl46179.1i803q74p7on3.dlg@40tude.net> References: <526nxsbun7e2.1n5a4jpe7u7ww$.dlg@40tude.net> <87bre63qh3.fsf@beeblebrox.rfc1149.net> <1hmyhi3g3ogfq.gdvw6tkdvemq.dlg@40tude.net> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: news.uni-berlin.de XtJ4pGMELrPA5P7ISiIsrgeuYe0h0Ifx5ISXIyEmm/C703uT4= User-Agent: 40tude_Dialog/2.0.12.1 Xref: g2news1.google.com comp.lang.ada:6145 Date: 2004-11-11T16:25:13+01:00 List-Id: On Wed, 10 Nov 2004 17:28:55 +0000, Marius Amado Alves wrote: >> So the second question: do you have have ADT in your database? > > In one word, no. In more words: Mneson supports ADT through its graph > data model. Arbitrarily complex data structures are represented by > graphs. Vertices are either basic values (integer, real, string) or > valueless. Links are directed and untyped (unlabelled) at the base > level. Support to represent complex structures including typed links > exist. ADTs can be build on top of this level. So it is kind of PL/1, pre Ada 83. You have elementary types and you can compose structures out of them. The problem of all such approaches it that the representation becomes fixed. When you compose a new type you define both its representation and interface. This cannot be portable. In Ada terms: type My_Integer is new Integer; -- My_Integer is built upon Integer. This cannot be portable. -- Or else one should go the Integer-N way. This cure is -- worse than the disease. type My_Integer is range ..; -- This is portable, but does not fit in your model -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de