path-dependent-type

7calore

1risposta

Come si codifica questo metodo con un gruppo di parametri implicito che contiene un tipo dipendente?

Dato un typeclass Printer con un tipo dipendente Show[A]: trait Printer { type Show[A] def show[A](x: A)(implicit z: Show[A]): String } object Printer { // the intent here is this is

6calore

2risposta

Accesso ai valori dal mixin del tipo dipendente dal percorso

È possibile accedere ai valori nel tratto esterno da un mix di tratto interno? vale a dire: trait Outer { val foo trait Inner } trait InnerMixin { this: Outer#Inner => def bar {

11calore

1risposta

tipi di scala scala dipendenti e prove di livello di tipo

Attualmente sto cercando di definire un modello di un linguaggio di flusso di dati in scala. Un flusso rappresenta virtualmente una sequenza infinita di valori di qualche tipo T, stimolati da un certo

5calore

2risposta

Passando intorno tracciato di testo dipendente non riesce a mantenere il valore dipendente

Si consideri il seguente: trait Platform { type Arch <: Architecture def parseArch(str: String): Option[Arch] } object Platform { def parse(str: String): Option[Platform] = ??? }

6calore

1risposta

Equivalenze e non equivalenze sorprendenti per questo.tipo

Sembra fare la differenza se si fa riferimento a this.type dall'interno di un tratto o dall'ambito di creazione dell'oggetto, con risultati sorprendenti. import scala.reflect.runtime.universe._ trai

5calore

3risposta

tipi Scala: Classe A non è uguale al T dove T è: tipo T = A

stavo leggendo la sezione 20.7 della Programmazione libro in Scala e mi chiedevo perché mentre questo codice viene compilato: class Food class Fish extends Food class Grass extends Food abstract c

5calore

2risposta

Scala - Bassa inferenza rilegato in tipi dipendenti dal percorso

sto cercando di capire il motivo per cui il compilatore Scala non può dedurre la seguente limitazione su un tipo dipendente dal percorso: trait MyTrait class MyTraitImpl extends MyTrait trait MyTrai

5calore

1risposta

scalaz.Equal per tipi dipendenti dal percorso

Sto sperimentando tipi dipendenti dal percorso e ho riscontrato un problema durante il tentativo di scrivere un'istanza scalaz.Equal per questo. Ho la seguente struttura: class A { class B } v

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

12calore

1risposta

Dipendente tipi di metodo conflitto con argomenti di default

Quando si gioca con i tipi di metodo dipendenti della Scala, ho incontrato un conflitto con i parametri del metodo di default: abstract class X { type Y case class YY(y: Y) } object XX ex