From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: questions on RM's section of subprograms and dispatching
Date: Fri, 23 Feb 2018 21:57:53 +0100
Date: 2018-02-23T21:57:53+01:00 [thread overview]
Message-ID: <p6pv8h$fn7$1@gioia.aioe.org> (raw)
In-Reply-To: lyr2pbjv33.fsf@pushface.org
On 2018-02-23 21:43, Simon Wright wrote:
> Mehdi Saada <00120260a@gmail.com> writes:
>
>> tagged types with abstract primitives must be abstract, and can have
>> only abstract primitives
>
> This isn't true; abstract types can have concrete primitives.
Yes, only interfaces cannot. Interface is a form of abstract type.
(The limitation is meaningless from the software design POV. In the case
of interfaces it was motivated by compiler implementation concerns.)
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
prev parent reply other threads:[~2018-02-23 20:57 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-23 20:22 questions on RM's section of subprograms and dispatching Mehdi Saada
2018-02-23 20:43 ` Simon Wright
2018-02-23 20:53 ` Mehdi Saada
2018-02-23 20:59 ` Mehdi Saada
2018-02-23 21:55 ` Mehdi Saada
2018-02-23 20:57 ` Dmitry A. Kazakov [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox