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 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. ? -
@wbillingsley reasoning about programs. - 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.