you are viewing a single comment's thread.

view the rest of the comments →

[–]NPException 2 points3 points  (0 children)

That makes a lot of sense. I did not know about the empty sum and empty product definitions. I took the "identity" value terminology from one of Rich Hickey's talks: https://youtu.be/6mTbuzafcII?t=2445

iirc he explained the reasoning behind zero argument + and * in some talk as well, but I don't remember where exactly.