News for hackers. Stuff that matters.
Re:Why I am learning category theory by tbenst on Wednesday November 30, 2022 @03:45PM (#33807405)
Arguably from a mathematical perspective, the choice of ‘+’ is poor as it implies that the operation is commutative when it’s only associative. Julia used “foo” * “bar” for this reason: https://groups.google.com/g/julia-dev/c/4K6S7tWnuEs/m/RF6x-f...
Re:Why I am learning category theory by Koshkin on Wednesday November 30, 2022 @04:06PM (#33807684)
Then the length() function would be a logarithm...
Re:Why I am learning category theory by Koshkin on Wednesday November 30, 2022 @08:55PM (#33811250)
(For the benefit of those who did not get the joke: a logarithm is a homomorphism from ‘*’ to ‘+’.)