abstract-type

9Ciepło

2Odpowiedz

Parametry typu mieszania i typy abstrakcyjne w scala

Próbuję użyć odpowiedzi a preceding question, aby zaimplementować małą bibliotekę wykresów. Chodzi o to, aby rozważyć wykresy jako kolektory, w których wierzchołki zawijają elementy kolekcji. Chciałby

generics scala types abstract-type 2010-01-14

---

8Ciepło

2Odpowiedz

Scala self type i this.type w kolekcjach wydanie

Próbuję owijać głowę wokół abstrakcyjnych i jawnych typów siebie w scala. Rozważmy następujący przykład: Chcę stworzyć bazę dla rozszerzalny drzewa tak proste, jak to: trait Tree { def children:

scala self-type abstract-type 2012-02-08

---

6Ciepło

3Odpowiedz

Jak wyodrębnić określony typ z instancji typu ogólnego w julia?

Jak uzyskać podtyp instancji typu parametrycznego w julia? Na przykład: immutable Dog{T <: Number} snout::T end dog = Dog(5.) typeof(dog) ... zwraca Dog{Float64}. Czy istnieje sposób uzyska

types julia-lang abstract-type 2015-07-14

---

6Ciepło

4Odpowiedz

Wnioskowanie typu Scala nie zauważa, że ​​te typy są identyczne, niezależnie od tego, czy są one

Mam wzór projektu tutaj, gdzie istnieje generator obiektów (MorselGenerator i jego dzieci), z których każda generuje zawsze taki sam dokładny typ obiektu (Morsels i jego dzieci), ale sprawdzanie typu

scala type-inference abstract-type static-polymorphism dependent-type 2012-02-18

---

19Ciepło

1Odpowiedz

Typy abstrakcyjne a parametry typu

W jakich sytuacjach preferowane są typy abstrakcyjne nad parametrami typu?

scala type-parameter abstract-type 2010-07-03

---

15Ciepło

3Odpowiedz

Czy istnieje przykład użycia abstrakcyjnego typu scala, którego nie można uzyskać przy pomocy leków generycznych?

Istnieją dwa możliwe sposoby wyrażania abstrakcji nad typami. abstract class Buffer { type T val element: T } raczej niż generics, np. abstract class Buffer[T] { val element: T }

generics scala abstract-type 2011-09-30

---