Revised RFC on range design for D2
Michel Fortin
michel.fortin at michelf.com
Thu Oct 2 04:52:32 PDT 2008
On 2008-10-02 01:25:34 -0400, "Bill Baxter" <wbaxter at gmail.com> said:
> My first thought is what is the formal definition
> for what should be a struct and what should be a class.
Hum, I think I forgot to answer that part.
The reason I say we need a formal definition is so we can actually
imply things from something being a property. Pure and nothrow
functions are (or will) be compile-time checked against a definition of
what they should be: these offer garanties, which in turn add value to
the user who know what it does. If we can't imply anything from them,
properties offer no real value over mere functions since authors will
decide what is a property based on the expectations they expect their
users to have.
To be frank, I don't expect we can agree on a formal definition. If we
try and that is indeed the conclusion, it'll prove my point that you
just can't imply anything from something being a property except the
vague idea that the author thought it should be one according to his
own definition.
--
Michel Fortin
michel.fortin at michelf.com
http://michelf.com/
More information about the Digitalmars-d-announce
mailing list