Tony Morris

I challenge any moral (fast/loose) reasoner to give a #scala impl of [A](List[A] => Int) that is not a constant, nor a function of length.

@dibblego the index of the first repeated item in the list, or -1. Stylistically icky, but pure. Count of repeated items is less icky.

@wbillingsley won't compile.

@dibblego I copied and pasted it from an Eclipse Scala worksheet where it compiled and ran. http://pastebin.com/M0t05vmX 

@wbillingsley You used equals which violates parametricity and so is immoral.

@dibblego pedantically only != on Ints. “Immortality” is in List.indexOf. And essentially in Scala spec (equals:Any=>Boolean defined on Any)

@wbillingsley You rely on bottom values to make the case. This is immoral in the fast and loose reasoning sense. There is no "pedantically."

@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. ?