@propensive Saw your type inference presentation - very nice!
I was wondering if you could take a look at this issue http://tinyurl.com/hmap-so-question …
-
@propensive Do you understand why in def foo[T, TT >: T](x : T)(implicit ev: R[TT]) TT gets inferred the same as T?
@JonathanChayat I'd guess because there's a unique possible `ev`, and the type is inferred from the resolved implicit. Sound plausible?
-
-
@propensive I don't think so. It seems the type gets inferred before implicit search (making TT as specific as possible - meaning T) -
@propensive Then implicit search fails because there's no evidence for the subtype B, only the supertype A.
End of conversation
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.