These are chat archives for typelevel/general

12th
Oct 2017
Long Cao
@longcao
Oct 12 2017 19:02

I don't know if I'm going crazy or not, but I have a bare sbt repo with kind-projector 0.9.4 and I still can't get type L = Either[Int, ?] to compile... Scala 2.11.11/2.12.3

complains of: type Λ$ takes type parameters

Edmund Noble
@edmundnoble
Oct 12 2017 19:02
That shouldn't compile, though
You can't talk about types unless they're fully saturated, i.e. they have all of their type parameters
So it'd be type L[A] = Either[Int, A]
Long Cao
@longcao
Oct 12 2017 19:42
ahh - so I was totally off base with what this was for - partially applied type constructors
thanks @edmundnoble!
Edmund Noble
@edmundnoble
Oct 12 2017 19:42
Welcome :)
It's for avoiding the full type L[A] = Either[Int, A] at use-sites
Long Cao
@longcao
Oct 12 2017 19:44
yup
skips the type aliasing that's required