From: "Vasiliy Molostov" <molostoff@gmail.com>
Subject: Re: Real syntax problems in Ada
Date: Thu, 30 Aug 2012 21:38:20 +0400
Date: 2012-08-30T21:38:20+04:00 [thread overview]
Message-ID: <op.wju696gtka8ora@aspire.local> (raw)
In-Reply-To: 9ve6114z6hyh$.2ld32vp2se0y.dlg@40tude.net
Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> писал(а) в своём письме Wed,
29 Aug 2012 15:58:32 +0400:
> On Wed, 29 Aug 2012 14:47:19 +0400, Vasiliy Molostov wrote:
>
>> Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> писал(а) в своём письме
>> Wed,
>> 29 Aug 2012 11:25:00 +0400:
>>
>>> There is an important operation on bodies: composition:
>>>
>>> type Float_Valued is function (X : Float) return Float;
>>> X : Float_Valued := begin ... end;
>>> Y : Float_Valued := begin ... end;
>>> Z : Float_Valued := Y * X;
>>>
>>> Another operation is inheritance. That is when one body operates T
>>> another
>>> S and S <: T, inheritance is the body of T composed with type
>>> conversion
>>> S to T.
>>
>> Intriguing. Perhaps this can be distributed on other things,
>> where subprogram can be simply implemented by X * Y.
>
Yep, this is useful and productive idea. (I have snipped remaining in your
reply to keep only your original message quoted). Perhaps Randy can give
some words on this...
--
Написано в почтовом клиенте браузера Opera: http://www.opera.com/mail/
next prev parent reply other threads:[~2012-09-07 1:22 UTC|newest]
Thread overview: 40+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-08-28 8:13 Real syntax problems in Ada Dmitry A. Kazakov
2012-08-28 10:20 ` Georg Bauhaus
2012-08-28 10:47 ` Niklas Holsti
2012-08-28 11:33 ` J-P. Rosen
2012-08-31 13:35 ` Robert A Duff
2012-08-28 13:27 ` Vasiliy Molostov
2012-08-28 15:23 ` Dmitry A. Kazakov
2012-08-28 20:18 ` Vasiliy Molostov
2012-08-29 7:25 ` Dmitry A. Kazakov
2012-08-29 10:47 ` Vasiliy Molostov
2012-08-29 11:58 ` Dmitry A. Kazakov
2012-08-30 17:38 ` Vasiliy Molostov [this message]
2012-08-28 15:14 ` Adam Beneschan
2012-08-28 16:18 ` J-P. Rosen
2012-08-28 16:39 ` Dmitry A. Kazakov
2012-08-28 21:38 ` Randy Brukardt
2012-08-29 6:58 ` Dmitry A. Kazakov
2012-08-29 10:43 ` stefan-lucks
2012-08-29 10:58 ` stefan-lucks
2012-08-29 13:14 ` Niklas Holsti
2012-08-29 17:52 ` stefan-lucks
[not found] ` <fbps38pgcuf8fgioptt39s6u7dme1aqs7r@invalid.netcom.com>
2012-09-02 10:16 ` svaa
2012-08-29 13:33 ` Georg Bauhaus
2012-08-29 17:20 ` Jeffrey Carter
2012-08-29 17:51 ` stefan-lucks
2012-08-30 9:12 ` Georg Bauhaus
2012-08-28 21:49 ` Randy Brukardt
2012-08-28 23:09 ` Adam Beneschan
2012-08-29 7:34 ` Egil Høvik
2012-08-28 19:41 ` Florian Weimer
2012-08-28 20:53 ` Shark8
2012-08-28 21:07 ` Adam Beneschan
2012-08-28 21:25 ` Shark8
2012-08-28 22:59 ` Adam Beneschan
2012-08-29 7:06 ` Dmitry A. Kazakov
2012-08-30 21:08 ` Randy Brukardt
2012-08-30 22:06 ` sbelmont700
2012-08-30 22:34 ` Adam Beneschan
2012-08-30 22:54 ` William Findlay
2012-08-31 7:39 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox