Symbols reinforce the notion that some operators are so abstract, they cannot have useful names. They gently nudge you toward a type- and law-centric notion of the semantics of your programs. Finally, they leverage well-developed machinery from algebra.https://twitter.com/horusiath/status/968860481409683457 …
Replying to @jdegoes
Interesting point. Although I see it more as visual demarcation (& reminder) that here we break out of the domain language of our problem. They give me, the reader, additional type info when I’m scanning the code.
7:14 AM - 28 Feb 2018
0 replies
0 retweets
1 like
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.