Re: Scala - a Roadmap
Shelby <[email protected]>
| Newsgroups | gmane.comp.lang.scala |
|---|---|
| Message-ID | <[email protected]> |
How would the unification of higher-kinded and abstract types express the
following semantics?
trait Functor[T, Subtype[T] <: Functor[T, Subtype[T]] {
def map : (T => R) => Subtype[R]
}
Am I correct to assume the following?
trait Functor {
type T
type Subtype <: Functor
def map : (T => R) => Subtype
}
--
You received this message because you are subscribed to the Google Groups "scala-language" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
For more options, visit https://groups.google.com/d/optout.