From: dmitry@elros.cbb-automation.de (Dmitry A. Kazakov)
Subject: Re: Consider her way -- Re: Dimensionality Checking
Date: Mon, 17 Dec 2001 12:49:06 GMT
Date: 2001-12-17T12:49:06+00:00 [thread overview]
Message-ID: <3c1de72a.15951203@News.CIS.DFN.DE> (raw)
In-Reply-To: mailman.1008383102.26285.comp.lang.ada@ada.eu.org
On Sat, 15 Dec 2001 05:24:53 +0300 (MSK), "Alexandre E. Kopilovitch"
<aek@vib.usr.pu.ru> wrote:
>>Well, what is a "value"? :-)
>
>No problem. Let us be slightly more formal: "a type is an ordered pair of the
>sets; the elements of the first set are called the values of this type; the
>elements of the second set are subroutines, and they are called the operations
>of this type".
>>The concept of
>>unit, like that of value, is not "definable" in the language, but that is
>>not necessary. You're getting all philosophical about it and making it
>>harder than it really is :-). But I certainly do see an abstraction in units...
>
>In such a case, perhaps you are able to describe - more or less formally -
>that abstraction, which you see here?
What about this:
Unit of a type is a sort of type tag. The operations +,-,*,/,** are
dispatching operations on tuples of arguments and the result
[=multiple dispatch]. Valid combinations produce a value. Invalid
combinations raise Unit_Error.
Regards,
Dmitry Kazakov
next prev parent reply other threads:[~2001-12-17 12:49 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-12-15 2:24 Consider her way -- Re: Dimensionality Checking Alexandre E. Kopilovitch
2001-12-17 12:49 ` Dmitry A. Kazakov [this message]
-- strict thread matches above, loose matches on Subject: below --
2001-12-14 14:13 Alexandre E. Kopilovitch
2001-12-14 16:07 ` Wes Groleau
2001-12-14 19:49 ` Mark Lundquist
2001-12-13 0:09 Alexandre E. Kopilovitch
2001-12-13 17:13 ` Mark Lundquist
2001-12-11 19:10 Alexandre E. Kopilovitch
2001-12-11 22:45 ` Mark Lundquist
2001-12-13 21:08 ` Nick Roberts
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox