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 "=".
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk