the speaker just said "we have bi types" 
-
I don't think I understand. Can you show an example?
No... ;) It was just something I read in the Typers.scala source. There's a nice ASCII-art picture of a lattice in there too, IIRC...
-
-
Ah, Typers.scala. Some nice, light bed-time reading material.
-
With all credit to the compiler team, that's as close to accurate as you can imagine...
End of conversation
New conversation -
-
-
This Tweet is unavailable.
-
Yes, that's what was etched into my memory. But where does contrarivariance fit into this lattice?
End of 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.