@wbillingsley reasoning about programs.
-
@dibblego Indeed the point of my reply was that the f+l assumption is not “morally correct” if your argument is such a Scala f doesn’t exist
-
-
@dibblego Yes it does. “If a fn I encounter has this type, it must use length” is wrong for Scala. -
@wbillingsley It is absolutely correct for scala and every other non total system.
End of conversation
New conversation -
-
-
@dibblego You miss the point. Joe encounters a fn with a given type. Joe did not write the fn. Joe wishes to reason about what it does. -
@wbillingsley I am quite certain it is not I who is missing the point.
End of conversation
New conversation -
-
-
@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. - Show replies
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.