Das Scala-Typ-System: Parametrisierte Typen und Varianzen, Teil 3
In Scala ist es möglich mit Hilfe von Ko- und Kontravarianz-Annotationen an Typ-Parametern, Zusammenhänge zwischen parametrisierten Klassen aus der Klassenhierarchie... Weiterlesen
Beiträge von Andreas Schroeder
Das Scala-Typsystem: Parametrisierte Typen und Varianzen, Teil 2
Was meint der Scala-Typchecker mit der Fehlermeldung covariant type occurs in contravariant position? Welche Regeln stecken dahinter? Wie lassen sich... Weiterlesen
Das Scala-Typsystem: Parametrisierte Typen und Varianzen, Teil 1
Scala wurde 2004 veröffentlicht und wird an der EPFL und von Typesafe weiterentwickelt. Das passiert einerseits gefördert durch Forschungsgelder der... Weiterlesen