@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 …
-
-
Replying to @JonathanChayat
@propensive This came up while developing http://github.com/SupersonicAds/marbles/ … which you may find interesting by itself.1 reply 0 retweets 0 likes -
Replying to @JonathanChayat
@propensive Any help would be greatly appreciated!1 reply 0 retweets 0 likes -
Replying to @JonathanChayat
@JonathanChayat Hi Jonathan! I got it working by redefining: def foo[T, S <: R[_ >: T]](x: T)(implicit ev: S) = 0 Does that help?2 replies 0 retweets 0 likes
@JonathanChayat There's a risk that will cause problems later because it can't prove things about types in any methods on R[T] you use.
6:39 AM - 21 Feb 2015
0 replies
0 retweets
0 likes
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.