On Tue, May 3, 2011 at 2:11 AM, Gottlob Frege <gottlobfrege@gmail.com> wrote:
On Sat, Apr 30, 2011 at 10:49 AM, Joachim Faulhaber <afojgo@googlemail.com> wrote:
2011/4/29 Joachim Faulhaber <afojgo@googlemail.com>:
2011/4/29 Gottlob Frege <gottlobfrege@gmail.com>:
On Thu, Apr 28, 2011 at 10:27 PM, Joseph Wu <josephclwu@yahoo.com> 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