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

1,914 followers
About
Posts

Post has attachment
Add a comment...

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.
Add a comment...

Post has attachment

Post has attachment
Add a comment...

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'.
Add a comment...

Post has attachment
Add a comment...
Wait while more posts are being loaded