Too hard for a sunday afternoon...pic.twitter.com/xMmC22qv9G
class Flat[T] { type R = T } implicit def flat[T]: Flat[T] = null def f[A, B]: A with B = null.asInstanceOf[A with B] def g[A, B](implicit flat: Flat[A with B]): flat.R = f[A, B] f[Int with Long, Int] // infers Int with Long with Int g[Int with Long,Int] // infers Int with Long
-
-
-
I'm the best at spoiling weekends... ;)
End of conversation
New conversation -
-
-
In the Scala typechecker, computer science becomes an empirical rather than analytic discipline.
-
Totally.
End of conversation
New conversation -
-
-
flat.R: A & B = f [A, B]: A & B & B A & B & B = A & B
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Two things I don’t like: null and asInstanceOf...
-
Those are mostly to make it fit into a tweet!
- 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.