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 def f[A](l: List [A]): Int = f(l)
@nuttycom This is immoral. "… programmers … reason … as if … in a total language … We justify such reasoning." http://www.cse.chalmers.se/~nad/publications/danielsson-et-al-popl2006.html …
-
-
@dibblego I use this program to heat my house in winter, you insensitive clod! -
@nuttycom Immoral reasoning is climatically moral? - 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.