From: "Nasser M. Abbasi" <nma@12000.org>
Subject: Re: fyi, very interesting Ada paper OOP vs. Readability
Date: Mon, 21 May 2012 14:21:59 -0500
Date: 2012-05-21T14:21:59-05:00 [thread overview]
Message-ID: <jpe4kk$l4e$1@speranza.aioe.org> (raw)
In-Reply-To: vc1abqugagog.1bra8ltna4p2k$.dlg@40tude.net
On 5/21/2012 1:53 PM, Dmitry A. Kazakov wrote:
>
>> type is builded from set's.
>
> Certainly not. Which type is {-3, 'a', Pi, Employee}? A type cannot be
> inferred from its values domain set.
It is clear that this is the case, one only needs to refer to the
definition of a type, as I remember learning it in class. Something
along the lines:
a type is a set of values AND operations on these values.
Values alone can't define a 'type'. One needs to also define what
operations are allowed on these values to have complete type defined.
(at least this is what the teacher told us)
So, I agree with you here.
--Nasser
next prev parent reply other threads:[~2012-05-21 19:22 UTC|newest]
Thread overview: 57+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-05-09 13:06 fyi, very interesting Ada paper OOP vs. Readability Nasser M. Abbasi
2012-05-09 13:19 ` Nasser M. Abbasi
2012-05-09 13:36 ` Dmitry A. Kazakov
2012-05-09 13:39 ` Patrick
2012-05-09 13:55 ` Egil Høvik
2012-05-10 2:33 ` Randy Brukardt
2012-05-10 6:33 ` Simon Wright
2012-05-12 0:37 ` Randy Brukardt
2012-05-30 2:09 ` BrianG
2012-05-30 7:29 ` Niklas Holsti
2012-05-30 7:54 ` Yannick Duchêne (Hibou57)
2012-05-30 7:59 ` Dmitry A. Kazakov
2012-05-30 12:45 ` stefan-lucks
2012-05-30 13:12 ` Dmitry A. Kazakov
2012-05-30 19:11 ` Jeffrey Carter
2012-05-30 23:00 ` BrianG
2012-06-21 16:06 ` Randy Brukardt
2012-05-10 8:43 ` Maciej Sobczak
2012-05-15 6:16 ` Simon Wright
2012-05-10 11:46 ` Dmitry A. Kazakov
2012-05-10 14:23 ` Georg Bauhaus
2012-05-10 14:47 ` Nasser M. Abbasi
2012-05-10 15:11 ` Adam Beneschan
2012-05-10 16:06 ` Georg Bauhaus
2012-05-10 18:41 ` Niklas Holsti
2012-05-11 8:20 ` Georg Bauhaus
2012-05-10 20:11 ` Nasser M. Abbasi
2012-05-10 21:17 ` tmoran
2012-05-10 18:07 ` Jeffrey Carter
2012-05-11 7:32 ` Maciej Sobczak
2012-05-10 12:31 ` J-P. Rosen
2012-05-10 13:32 ` Yannick Duchêne (Hibou57)
2012-05-10 13:38 ` Nasser M. Abbasi
2012-05-10 23:42 ` Zhu Qun-Ying
2012-05-11 6:05 ` J-P. Rosen
2012-05-11 3:01 ` NatarovVI
2012-05-11 7:14 ` Dmitry A. Kazakov
2012-05-11 7:32 ` Nasser M. Abbasi
2012-05-11 7:58 ` Dmitry A. Kazakov
2012-05-13 3:11 ` NatarovVI
2012-05-13 10:03 ` Georg Bauhaus
2012-05-16 15:00 ` NatarovVI
2012-05-16 18:01 ` Georg Bauhaus
2012-05-21 16:35 ` NatarovVI
2012-05-21 17:56 ` Georg Bauhaus
2012-05-23 16:01 ` NatarovVI
2012-05-23 16:12 ` NatarovVI
2012-05-16 15:31 ` NatarovVI
2012-05-16 16:40 ` Dmitry A. Kazakov
2012-05-21 17:23 ` NatarovVI
2012-05-21 18:53 ` Dmitry A. Kazakov
2012-05-21 19:21 ` Nasser M. Abbasi [this message]
2012-05-23 17:59 ` NatarovVI
2012-05-23 18:45 ` Dmitry A. Kazakov
2012-05-23 17:39 ` NatarovVI
2012-05-23 18:39 ` Dmitry A. Kazakov
2012-05-11 3:09 ` NatarovVI
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox