News for hackers. Stuff that matters.

A comment on When a+b+c does not equal c+b+a. Parent comment

Re:When a+b+c does not equal c+b+a by erdeszt on Friday June 05, 2015 @12:57PM (#9666554)
But nested method calls don't imply commutativity while addition does. So the code is misleading.
[ Parent | on HN ]
Re:When a+b+c does not equal c+b+a by DannoHung on Friday June 05, 2015 @02:14PM (#9667035)
I don't follow. How do nested method calls fail to imply commutativity?

For example, using psuedo-Haskell notation:

    (+):: Int -> Int -> Int

    ; ncc short for non commutative combination
    ncc:: Time -> Time -> Time

    1 + 2 + 3

    ncc 03:00 (ncc 10:00 02:00)
[ Parent | on HN ]
Re:When a+b+c does not equal c+b+a by erdeszt on Friday June 05, 2015 @04:24PM (#9667887)
It could be just me but I would expect something that looks like an addition to be commutative but not arbitrary function calls. But I see what you mean that the types are not much of a help here.
[ Parent | on HN ]