What is Invariant Good For?

[Nick Sabalausky]

"Knud Soerensen" <4tuu4k002 at sneakemail.com> wrote in message 
news:g746ne$2468$1 at digitalmars.com...
> Koroskin Denis wrote:
>> On Sun, 03 Aug 2008 14:33:55 +0400, Knud Soerensen
>> <4tuu4k002 at sneakemail.com> wrote:
>>
>>> Peter C. Chapin wrote:
>>>> Walter Bright wrote:
>>>>
>>>>> http://www.reddit.com/r/programming/comments/6ui1q/d_what_is_invariant_good_for/
>>>>>
>>>>>
>>>>
>>>> For what it's worth, I agree with some of the posts on the article
>>>> itself that "immutable" would be a better word to describe this concept
>>>> than "invariant." I've done some functional programming and I
>>>> immediately understand what immutable means (and why it is good). With
>>>> invariant I had to read about it first. The word invariant makes me
>>>> think of class invariants and loop invariants... a somewhat different
>>>> concept.
>>>>
>>>> Peter
>>>
>>> I agree invariant also leads my thoughts into other things.
>>>
>>> Walter says in a comments that there is alot of momentum behind
>>> invariant.
>>>
>>> To verify that I have made a poll, please vote and let us see
>>> http://jyte.com/cl/immutable-would-be-better-than-invariant-in-the-d-programming-language
>>>
>>>
>>>
>>
>> Nice idea but... I wouldn't sign up for the site just for a vote. Sorry.
>
> The site uses openid, so if you already have a openid you can just
> login. A lot of big sites provide openids, so you might already have one
> see here http://openid.net/get/
>
> -- 
> Crowdnews.eu - a social news site based on sharing instead of voting.

I avoid openid.