When a+b+c does not equal c+b+a

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 ]