@wbillingsley Scala has nothing to do with it. The equals functions violates parametricity and porticoes the escape hatch for lies.
-
@dibblego If that fn is a Scala fn, then Joe’s fast+loose reasoning that “if it has this type it must do this” might not hold.
@wbillingsley I think you have missed the meaning of fast and loose reasoning. Scalds plays absolutely no role in this matter.
-
-
@dibblego Meaning I have taken (from Gibbons) is reasoning with the false assumption that the language is total. -
@wbillingsley ... is morally correct.
End of conversation
New conversation -
-
-
@dibblego “is morally correct” is about the conclusion of some reasoning. But the tweets did not define what conclusion we’re talking about -
@wbillingsley The conclusion is that you cannot achieve the goal without an appeal to an uninhabited proposition (violating the goal)
End of conversation
New conversation -
-
-
@dibblego where you assume we are reasoning to write a “moral" fn, I assumed we were reasoning about what fns we might encounter -
@wbillingsley "bottom values exist" does not negate the original assertion.
End of conversation
New conversation -
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.