Tony Morris

@dibblego @bvenners Correction, \&/. Point is, \&/ is easier to understand than These or EitherOrBoth.

@mpilquist @bvenners the naming obsession is entirely a matter of students misinforming themselves and others how to form sound concepts.

@dibblego @bvenners I don't disagree but is there not some value to accessibility for those less versed in the library?

@mpilquist @bvenners naming obsession is an ineffective method to form valid concepts. This is why those who understand no longer obsess.

@dibblego @bvenners Not entirely convinced of the *complete* ineffectiveness of names but exposing the obsession is valuable IMO.

@mpilquist @bvenners They aren't completely ineffective. Just in the capacity that is often alleged, as in this case.

@dibblego @bvenners Agreed!

@mpilquist @dibblego You can have good types *and* good names.