@wbillingsley won't compile.
-
-
Replying to @dibblego
@dibblego I copied and pasted it from an Eclipse Scala worksheet where it compiled and ran. http://pastebin.com/M0t05vmX1 reply 0 retweets 0 likes -
Replying to @wbillingsley
@wbillingsley You used equals which violates parametricity and so is immoral.1 reply 0 retweets 0 likes -
Replying to @wbillingsley
@wbillingsley You rely on bottom values to make the case. This is immoral in the fast and loose reasoning sense. There is no "pedantically."1 reply 0 retweets 0 likes -
Replying to @dibblego
@dibblego if by “fast and loose” you mean http://dl.acm.org/citation.cfm?doid=1111037.1111056 … "morally correct" seems to refer to reasoning not program. ?1 reply 0 retweets 0 likes -
-
Replying to @wbillingsley
@wbillingsley Scala has nothing to do with it. The equals functions violates parametricity and porticoes the escape hatch for lies.2 replies 0 retweets 0 likes -
Replying to @dibblego
@dibblego@wbillingsley It is perfectly possible to formulate a theory of parametricity on types with additional structure like 'equals'.2 replies 0 retweets 0 likes
@bentnib @wbillingsley Of course it is. I am referring to a specific implementation which is unsound.
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.