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.
@puffnfresh @den_sh Crikey took me a while to spot it. That is nasty indeed. This is "the type of lying called type-casing."
-
-
@dibblego@puffnfresh@den_sh this only matches on constructors of List, how is it type-casing? -
@mmakowski@puffnfresh@den_sh it matches the head of list [A] against the type List. - 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.