-
-
Replying to @mpilquist
@mpilquist@bvenners ||| is established unlike "orElse" which has ambiguous meaning in scala. The naming obsession is way out of control.1 reply 0 retweets 0 likes -
Replying to @mpilquist
@dibblego@bvenners Correction, \&/. Point is, \&/ is easier to understand than These or EitherOrBoth.1 reply 0 retweets 0 likes -
Replying to @mpilquist
@mpilquist@bvenners the naming obsession is entirely a matter of students misinforming themselves and others how to form sound concepts.1 reply 0 retweets 0 likes -
Replying to @mpilquist
@mpilquist@bvenners naming obsession is an ineffective method to form valid concepts. This is why those who understand no longer obsess.1 reply 0 retweets 0 likes -
Replying to @mpilquist
@mpilquist@bvenners They aren't completely ineffective. Just in the capacity that is often alleged, as in this case.2 replies 0 retweets 0 likes -
Replying to @dibblego
@dibblego@mpilquist I agree with you on the benefits of reasoning about the types, but the baby needn't be thrown out with the bathwater.1 reply 0 retweets 0 likes
@bvenners @mpilquist There is no baby. I'm quite happy to let illusions entertain, except when they get in the way of practical application.
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.