@dibblego @paultypes That's unfair. C++ "functor" simply has nothing to do with category functor, etymologically.
"C++ functor" is just another isomorphic example of cargo-culting terminology.
-
-
-
@dibblego @paultypes Maybe philosophers should complain that CTers cargo-culted "monad" - Show replies
New conversation -
-
-
@PaulTypes Leibniz is easy! We're all just spiraling towards utopia.
-
@fogus @PaulTypes well his calculus ratiocinator and chracteristica universalis were amazing ideas!So big people just now start building it!
End of conversation
New conversation -
-
-
@dibblego For another lovely example, see “reactive”. https://www.innoq.com/de/blog/reactivity-whats-in-a-name/ …Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@paultypes
@dibblego Pre-internet C++ programmers should have searched in an obscure discipline very few programmers had heard of? -
New conversation -
-
-
@dibblego Check my earlier twitter.https://twitter.com/pedrofurla/status/595294768739016708 …Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.