type-projection

13calore

1risposta

Perché Scala non può inferire il percorso di un tipo dipendente dal percorso, anche da un riferimento automatico esplicito?

Vorrei passare un oggetto a una funzione che accetta un argomento con un tipo proiettato, e ottenere Scala per dedurre che il tipo dell'oggetto proviene dall'oggetto che lo racchiude. Ecco alcune semp

scala type-inference path-dependent-type type-projection 2015-07-13

---

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

scala types abstract-type type-projection bounded-quantification 2012-09-25

---

9calore

2risposta

ricerca di parole chiave `type` e` # in scala

Qualcuno potrebbe spiegare come la parola chiave type e l'operatore # funzionano in scala e come usarlo? Si prega di guardare gli esempi. //Example1 scala> type t1 = Option.type defined type alias t

scala types type-projection 2012-10-18

---

11calore

2risposta

Come dedurre il giusto tipo di parametro da un tipo di proiezione?

Ho alcuni problemi con Scala per dedurre il tipo giusto da un tipo di proiezione. Si consideri il seguente: trait Foo { type X } trait Bar extends Foo { type X = String } def baz[F <:

scala polymorphism type-inference type-projection 2013-02-06

---