Codificação de tipo existencial em Scala
Podemos escrever um existencial explicitamente como este em Scala: type Exists[P[_]] = P[T] forSome { type T } Agora vamos apresentar um tipo lambda: ({ type λ[A] = AnotherType[A] })#λ …
Continuar lendoConteúdo para você se capacitar em programação
Podemos escrever um existencial explicitamente como este em Scala: type Exists[P[_]] = P[T] forSome { type T } Agora vamos apresentar um tipo lambda: ({ type λ[A] = AnotherType[A] })#λ …
Continuar lendo