Skip to content

Instantly share code, notes, and snippets.

@dcsobral

dcsobral/gist:1120811

Created August 2, 2011 18:11
Show Gist options
  • Star 2 You must be signed in to star a gist
  • Fork 2 You must be signed in to fork a gist
  • Save dcsobral/1120811 to your computer and use it in GitHub Desktop.
Save dcsobral/1120811 to your computer and use it in GitHub Desktop.
Download ZIP
Existential _ vs Higher-kind _
Raw
gistfile1.scala
scala> def f[A[_] <: Seq[_]](f: A[Int]) = f.head
f: [A[_] <: Seq[_]](f: A[Int])A
scala> def f[A[_] <: Seq[t] forSome { type t }](f: A[Int]) = f.head
f: [A[_] <: Seq[_]](f: A[Int])A
scala> def f[A[t] <: Seq[_] forSome { type t}](f: A[Int]) = f.head
f: [A[t] <: Seq[_] forSome { type t }](f: A[Int])A
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment