Sapir Whorf evidence: only programmers have this multitude of concepts for "is": value identity; implementation identity; address identity; function identity; type identity; subtype; evaluates to; evaluates to same implementation, type, value, function, address; calls; yields ...
-
-
Replying to @Plinz
extensional equality, judgmental equality, ... https://ncatlab.org/nlab/show/equality …
2 replies 0 retweets 1 like
Replying to @evertedsphere @mrkgrnao
If not limited by the tweet length, I would have made it "programmers have seventeen words for 'is'" :)
9:45 AM - 20 Apr 2018
from Cambridge, MA
0 replies
0 retweets
2 likes
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.