Re: [boost] [Review] Type Traits Extension by Frederic Bron - Review summary and decision

Subject: Re: [boost] [Review] Type Traits Extension by Frederic Bron - Review summary and decision
From: Gottlob Frege (gottlobfrege_at_[hidden])
Date: 2011-05-03 02:17:02

On Tue, May 3, 2011 at 2:11 AM, Gottlob Frege <gottlobfrege_at_[hidden]> wrote:
> On Sat, Apr 30, 2011 at 10:49 AM, Joachim Faulhaber
> <afojgo_at_[hidden]> wrote:
>> 2011/4/29 Joachim Faulhaber <afojgo_at_[hidden]>:
>>> 2011/4/29 Gottlob Frege <gottlobfrege_at_[hidden]>:
>>>> On Thu, Apr 28, 2011 at 10:27 PM, Joseph Wu <josephclwu_at_[hidden]> wrote:
>>>>
>>>> I think (in order of strength of my opinion)
>>>> - naming is very important
>>>> - plus-equal (et al) is better than any of the other options
>>>
>>> interesting ...
>>> ... could you give us a deeper insight in the superiority of this
>>> particular name?
>>
>
> Mostly I just wanted to voice my "vote".  It is just my opinion.
>
> But when I stop and think about my underlying reasoning, I think it
> basically comes down to this:
>
<snip> blah blah blah...

Also I wanted to mention, that as a mathematician, when I do

x = 10
...

in a math proof, is that assignment or equality?
To me it is a statement of equality.  It is more like the early days
of BASIC and "let":

LET X = 10

Or in math proofs, "given that x = 10, ...." which is really more like
"modus ponens" of logic, "if P then Q...".
A statement more than an assignment.

But maybe that's just me.

I wonder what prolog programmers think about "=".

Tony