From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Suggestion: Allow functions returning abstract types in certain situations
Date: Sat, 24 May 2014 21:20:29 +0200
Date: 2014-05-24T21:20:29+02:00 [thread overview]
Message-ID: <tk0dl0wahjx1.1cvtt4dq1r48v.dlg@40tude.net> (raw)
In-Reply-To: wccwqdbdnsf.fsf@shell01.TheWorld.com
On Sat, 24 May 2014 14:39:12 -0400, Robert A Duff wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>
>> Morale. Type semantics must be respected.
>
> ?
No instances (abstract) means no instances. When typing gets broken you
never know where than may leak out. Ada would be a much safer language if
not these attempts to break typing for the sake imaginary advantages, which
never pay off.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2014-05-24 19:20 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-05-21 14:52 Suggestion: Allow functions returning abstract types in certain situations Victor Porton
2014-05-21 16:10 ` Adam Beneschan
2014-05-21 19:09 ` Dan'l Miller
2014-05-21 22:09 ` Robert A Duff
2014-05-21 22:29 ` Adam Beneschan
2014-05-21 22:04 ` Robert A Duff
2014-05-21 22:33 ` Adam Beneschan
2014-05-21 23:19 ` Robert A Duff
2014-05-22 7:22 ` Dmitry A. Kazakov
2014-05-24 18:39 ` Robert A Duff
2014-05-24 19:20 ` Dmitry A. Kazakov [this message]
2014-05-22 14:47 ` Adam Beneschan
2014-05-24 18:45 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox