Tony Morris

@dibblego Yes. So not “that fn uses == so is immoral” but “f+l reasoning claim is not 'morally correct' for Scala because Scala has Any” ?

@wbillingsley Scala has nothing to do with it. The equals functions violates parametricity and porticoes the escape hatch for lies.

@dibblego @wbillingsley It is perfectly possible to formulate a theory of parametricity on types with additional structure like 'equals'.

@dibblego @wbillingsley E.g., Simpson and Møgelberg do so for types that have algebraic structure: http://lmcs-online.org/ojs/viewarticle.php?id=449&layout=abstract …

@dibblego @wbillingsley whether or not this is useful is another matter, but to call it 'immoral' is a bit strong.

@bentnib @dibblego And from this we’ve derived a new phrasing/terminology of code being “immoral”.

@wbillingsley @bentnib Code is not immoral. Reasoning is.

@dibblego @bentnib Oh, and I was hoping we’d coined a new term. “Moral function" as a function for which "fast and loose" assumptions hold.