F-Bounded polimorfizm z typami abstrakcyjnymi w Scali

Question

Przeczytałem kilka artykułów wyrażających, że w celu uzyskania polimorfizmu związanego z F w Scali należy używać typów abstrakcyjnych. Ma to na celu przede wszystkim złagodzenie problemów z wnioskami typu, ale także usunięcie kwadratowego wzrostu, jaki parametry wydają się wprowadzać przy definiowaniu typów rekursywnych.

Są one zdefiniowane jako tak:

trait EventSourced[E] { 
    self => 

    type FBound <: EventSourced[E] { type FBound <: self.FBound } 

    def apply(event: E): FBound 
} 

to jednak wydaje się wprowadzenie dwóch kwestii:

1) Za każdym razem gdy użytkownik chce odwołać obiekt tego typu, muszą one również dotyczyć parametr typu FBound. To czuje się jak zapach kod:

def mapToSomething[ES <: EventSourced[E], E](eventSourced: ES#FBound): Something[ES, E] = ... 

2) kompilator jest teraz w stanie wywnioskować parametrów typu metod, takich jak powyższe, w przypadku braku z komunikatem:

Type mismatch, expected: NotInferredES#FBound, actual: MyImpl#FBound 

Czy ktoś tam przy użyciu udane wdrożenie w swoim rozwiązaniu polimorfizmu związanego z atomem f, w którym kompilator wciąż jest w stanie wnioskować o typach?

Answer 1

mam ponieważ zrozumiał, że polimorfizm f ograniczona należy unikać w większości przypadków - albo raczej - tam zwykle alternatywny projekt, który należy wybrać. Aby zrozumieć, jak go uniknąć, musimy najpierw wiedzieć, co sprawia, że ​​wymaga to:

polimorfizm F-ograniczony występuje wtedy, gdy typ spodziewa ważne interfejs zmienia zostać wprowadzony w rodzaju pochodnych.

to uniknąć komponowania oczekiwanych obszary zmian zamiast próbuje wspierać ich poprzez dziedziczenie. To rzeczywiście wraca do Gangu Czterech wzorców projektowych:

Favor 'skład obiektu' nad '' klasy dziedziczenia

- (Gang of Four, 1995)

Na przykład:

trait Vehicle[V <: Vehicle[V, W], W] { 
    def replaceWheels(wheels: W): V 
} 

staje:

trait Vehicle[T, W] { 
    val vehicleType: T 
    def replaceWheels(wheels: W): Vehicle[T, W] 
} 

Tutaj "oczekiwaną zmianą" jest typ pojazdu (np. Bike, Car, Lorry). Poprzedni przykład zakładał, że zostanie on dodany poprzez dziedziczenie, wymagając typu ograniczonego do f, który uniemożliwiłby dowolnej funkcji przy użyciu Pojazdu. Nowa metoda, która używa kompozycji, nie wykazuje tego problemu.

Patrz: https://github.com/ljwagerfield/scala-type-inference/blob/master/README.md#avoiding-f-bounded-polymorphism

Answer 2

Zobacz dyskusję F-bounded polymorphism in Twitter's Scala School.

Answer 3

Prawdopodobnie brakuje mi czegoś z następującą implementacją.

trait EventSourced[E] { 
    self => 

    type FBound <: EventSourced[E] { type FBound <: self.FBound } 

    def apply(event: E): FBound 
} 

trait Something[ES, E] 

def mapToSomething[E](
    eventSourced: ES forSome { 
    type ES <: EventSourced[E] 
    }): Something[eventSourced.type, E] = ??? 

class Test extends EventSourced[Boolean] { 
    type FBound = Test 
    def apply(event:Boolean):FBound = ??? 
} 

val x:Test = ??? 

mapToSomething(x)