variance

6Ciepło

2Odpowiedz

Czy można zmienić wariancję podstawowej klasy/cechy w Scali?

Chciałbym czerpać z niezmiennej mapy Scali. Jest ona definiowana jako takie: trait Map[A, +B] Niestety, moja realizacja musi być niezmienna w B. Próbowałem następujących, ale bez powodzenia: def +(k

11Ciepło

2Odpowiedz

Podczas korzystania z notacji kowariancji lub ogólnych ograniczeń w Scali

W wariancie Scala można zdefiniować wariancję z operatorami wariancji, takimi jak + i - na typowym argumencie typu. Na przykład typ List jest kowariancyjny w bibliotece standardowej. class List[+A]

13Ciepło

1Odpowiedz

Jak mogę połączyć wzór typu typeclass z podtypem?

Załóżmy, że używam wzoru typeclass w Scali. Oto jak to zrobić klasa C części typeclass Foo: Welcome to Scala version 2.9.0.1 (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_26). scala> trait Foo[T] {

5Ciepło

1Odpowiedz

Czy można ujednolicić pojęcia dziedziczenia i polimorfizmu parametrycznego?

Zastanawiam się, czy ogólnie możliwe jest ujednolicenie pojęć dziedziczenia i polimorfizmu parametrycznego ("generics"), szczególnie w odniesieniu do wariancji, ale także pod względem tego, w jaki spo