Oh F-bounded polymorphism, why so oft do I turn to thee?
-
-
Replying to @propensive
@propensive huh. Curious about your use case. When I'm tempted in that direction I always end up using a typeclass.2 replies 0 retweets 0 likes -
Replying to @propensive
@tpolecat Maybe I've got that the wrong way round. I've created bivariance hell because I was in not-compiling limbo...2 replies 0 retweets 0 likes -
Replying to @propensive
@propensive ... move the variance-problematic defn to an invariant type class. The type arg is fixed whenever an instance is summoned. 2/23 replies 0 retweets 1 like
Replying to @milessabin
@milessabin Unrelatedly, any idea how I can infer T *without* (Product with Serializable) in order to type an invariant type class?
3:07 AM - 26 Apr 2014
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.