From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: pragma Pure (Ada)
Date: Sat, 01 Oct 2011 04:11:14 +0200
Date: 2011-10-01T04:11:14+02:00 [thread overview]
Message-ID: <op.v2nho0dcule2fv@index.ici> (raw)
In-Reply-To: op.v2ngqmo3ule2fv@index.ici
Le Sat, 01 Oct 2011 03:50:36 +0200, Yannick Duchêne (Hibou57)
<yannick_duchene@yahoo.fr> a écrit:
> In “A Brief Introduction to Ada 2012” (a great paper from John Barnes) ->
> http://www2.adacore.com/wp-content/uploads/2006/03/Ada2012_Rational_Introducion.pdf
On page 13, there's something I don't feel to understand
> Programmers have always moaned about the need for many
> explicit conversions in Ada. Accordingly, implicit
> conversions from anonymous access types to named access
> types are now permitted provided the explicit conversion is
> legal. The idea is that the need for an explicit conversion
> with access types should only arise if the conversion could
> fail. A curious consequence of this change is that a
> preference rule is needed for the equality of anonymous
> access types.
“a preference rule is needed for the equality of anonymous access types” ?
What does that mean ?
--
“Syntactic sugar causes cancer of the semi-colons.” [Epigrams on
Programming — Alan J. — P. Yale University]
“Structured Programming supports the law of the excluded muddle.” [Idem]
Java: Write once, Never revisit
next prev parent reply other threads:[~2011-10-01 2:11 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-10-01 1:50 pragma Pure (Ada) Yannick Duchêne (Hibou57)
2011-10-01 2:11 ` Yannick Duchêne (Hibou57) [this message]
2011-10-08 1:37 ` Adam Beneschan
2011-10-08 22:54 ` Yannick Duchêne (Hibou57)
2011-10-09 6:34 ` Niklas Holsti
2011-10-10 15:06 ` Adam Beneschan
2011-10-01 2:28 ` Yannick Duchêne (Hibou57)
2011-10-08 1:08 ` Randy Brukardt
2011-10-08 23:00 ` Yannick Duchêne (Hibou57)
2011-10-01 3:09 ` Adam Beneschan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox