News for hackers. Stuff that matters.

A comment on Translating Mathematics into Code: Examples in Java, Python, Haskell and Racket. Parent comment

Re:Translating Mathematics into Code: Examples in Java, Pyth... by throwaway283719 on Tuesday February 10, 2015 @05:41AM (#9026381)
That would be a groupoid - http://en.wikipedia.org/wiki/Groupoid
[ Parent | on HN ]
Re:Translating Mathematics into Code: Examples in Java, Pyth... by Klockan on Tuesday February 10, 2015 @06:52AM (#9026596)
No, groupoids breaks the group operation and thus behaves like neither of the groups. Do type systems allow operations between union types? If not then it is just a simple interface in OO. If they do then you are no longer working with pure functions.
[ Parent | on HN ]