comp.lang.ada
 help / color / mirror / Atom feed
From: Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>
Subject: Re: user-defined type conversion
Date: Tue, 21 May 2002 11:35:40 +0200
Date: 2002-05-21T11:35:40+02:00	[thread overview]
Message-ID: <lv4keuc9bahcaij5crjgl57vujcvr7cbc1@4ax.com> (raw)
In-Reply-To: bebbba07.0205201126.572c9f09@posting.google.com

On 20 May 2002 12:26:06 -0700, 18k11tm001@sneakemail.com (Russ) wrote:

>Yes, I understand now. But I think Ada should have been designed to
>first check for a user-defined type conversion before using a
>compiler-generated conversion. That would solve the ambiguity problem
>and allow users to create their own type/unit conversions with the
>same syntax as built-in type conversions. That, in turn, would allow
>developers to create simple and elegant type/unit system for each
>particular application.

In short Ada should support user-defined type conversions and apply
them implicitly. I.e. new [sub]types should be defined in terms of
type conversions rather than representation. That would be nice, but
it would require a complete language redesign.

---
Regards,
Dmitry Kazakov
www.dmitry-kazakov.de



  reply	other threads:[~2002-05-21  9:35 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-05-19  7:44 user-defined type conversion Russ
2002-05-19  8:54 ` martin.m.dowie
2002-05-19 10:44 ` David C. Hoos, Sr.
2002-05-19 18:29   ` Russ
2002-05-19 20:58     ` David C. Hoos, Sr.
2002-05-19 21:12     ` Jeffrey Carter
2002-05-21  9:18       ` Dmitry A. Kazakov
2002-05-19 19:01 ` sk
2002-05-20  3:33   ` Russ
2002-05-20 19:27     ` Randy Brukardt
2002-05-20 19:45       ` David C. Hoos
2002-05-19 21:17 ` Jeffrey Carter
2002-05-20  3:25   ` Russ
2002-05-20  6:21     ` Jeffrey Carter
2002-05-21  9:30       ` Dmitry A. Kazakov
     [not found]     ` <mailman.1021892102.6644.comp.lang.ada@ada.eu.org>
2002-05-20 19:26       ` Russ
2002-05-21  9:35         ` Dmitry A. Kazakov [this message]
2002-05-22  4:32         ` Russ
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox