Profile cover photo
Profile photo
Chris Eargle
1,947 followers -
Back once again with the kodefu master.
Back once again with the kodefu master.

1,947 followers
About
Posts

Post has attachment

Post has attachment

Post has attachment

Post has attachment

Post has shared content

Post has attachment
Here are a couple of extensions I added to knockout.

Post has attachment

Post has attachment

Post has attachment
EDIT: Since the talk section wasn't very active, I decided to correct the page.

I think the definition of 'unary operation' on Wikipedia is incorrect (or rather, incomplete).

It defines a unary operation as the function f: A → A. This means a value in the set of A results in another value in the set of A when the operator is applied. So, according to this definition, a unary operation must be an endofunctor (function mapping a type to the same type).

There are well-known operators that do not conform to this definition. For example, the length operator ||v|| produces a scalar value from a vector value. The operator's operand is a value in the set of vectors, and its result is the set non-negative real numbers.

The first sentence on the Wikipedia page is correct. Unfortunately, its 'specific definition' describes a specific subset of unary operations rather than specifying the actual meaning of 'unary operation'.

Post has attachment
Wait while more posts are being loaded