abstract-type

6calore

3risposta

Come estrarre il tipo specifico da un'istanza di un tipo generico in julia?

Come si ottiene il sottotipo di un'istanza di un tipo parametrico in julia? Ad esempio: immutable Dog{T <: Number} snout::T end dog = Dog(5.) typeof(dog) ... restituisce Dog{Float64}. C'è u

6calore

4risposta

Inferenza tipo Scala non riesce a notare che questi tipi sono identici, qualunque essi siano

Ho un modello di progettazione qui dove c'è un generatore di oggetti (MorselGenerator e relativi figli), qualsiasi istanza di cui genera sempre lo stesso tipo esatto di oggetto (Morsels e i suoi figli

8calore

1risposta

Perché non è possibile eseguire l'override di un tipo astratto già implementato?

Dato il seguente codice: class A { class B type C <: B trait D } class E extends A { type C = B } class F extends E { override type C = B with D } Perché il c

15calore

3risposta

Esiste un esempio di utilizzo di scala astratta che è impossibile ottenere con i generici?

Esistono due modi per esprimere l'astrazione sui tipi. abstract class Buffer { type T val element: T } piuttosto che generici, ad es. abstract class Buffer[T] { val element: T } C

8calore

2risposta

Impossibile implementare il tipo di rappresentazione come membro del tipo

Mentre mi si spezza la testa su another question, mi sono imbattuto in enigmi diversi che sembrano correlati. Questo è uno di loro: trait Sys[S <: Sys[S]] { type Peer <: Sys[Peer] } trait Fenc

11calore

4risposta

costruttori di scala di scala e tipi astratti

Voglio utilizzare un tipo astratto piuttosto che un parametro di tipo. Nel mio costruttore classi generiche, voglio avere un parametro di tipo generico, ma il codice non compilazione: class SomeOtherC

8calore

2risposta

Tipo Scala di tipo e tipo this.type in collezioni

Sto cercando di avvolgere la mia mente attorno a tipi di sé astratti ed espliciti in scala. Consente di considerare questo esempio: Voglio creare una base per l'albero estensibile semplice come questo