Tony Morris

@wbillingsley reasoning about programs.

@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 paper is whether “fast and loose" reasoning can make a false assumption about language (total/partial) yet be “morally correct”

@dibblego so I think you’re creating a new meaning of “moral” — defining a “moral fn” as one where f+l reasoning should be true?

@dibblego if so, that could be a very useful definition. Just trying to understand the aim of the thread a little better.

@wbillingsley I am using exactly the same meaning as "moral" as fast and loose reasoning.

@dibblego I think you miss an ambiguity in your original tweet. Not clear you were asking for a fn as if in a total language.