Today, I'm trying to understand a particular concept in the Scala compiler, so I do a Google search and find a discussion from 2012 where the first three people haven't got a clue either.
Plot twist: they're @gkossakowski, @xeno_by and @contrarivariant.https://groups.google.com/forum/#!topic/scala-internals/0j8laVNTQsI …
-
-
That's the purpose of Scala.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
How related is that actually though? Scala existential skolems might correspond to skolemizing top-level existential quantifiers. Any other correspondence?
-
Left as a research problem for the reader (and for me): Method argument skolems seem to relate to skolems in "Complete and Decidable Type Inference for GADTs" (where type parameters can also get GADT refinements), try to elaborate on the relation.
- 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.