In the math universe an axiom, definition, theorem, lemma, or corollary do nothing more than what they state, no matter the complexity of their interaction. So, call it Functor or Mappable; I don’t care. But can we please have software with the assurances I get from math?
-
-
...and then, sadly, you find out why.
-
Because computers?
-
Because there's a giant pile of other stuff implied in every equation.
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.