path-dependent-type

7Hitze

1Antwort

Wie kodiere ich diese Methode mit einer impliziten Parametergruppe, die einen abhängigen Typ enthält?

ein typeclass Printer mit einem abhängigen Typ Gegeben Show[A]: trait Printer { type Show[A] def show[A](x: A)(implicit z: Show[A]): String } object Printer { // the intent here is t

6Hitze

2Antwort

Zugriff auf Werte vom pfadabhängigen Typ mixin

Ist es möglich, auf Werte im äußeren Merkmal eines inneren Merkmals zuzugreifen? dh: trait Outer { val foo trait Inner } trait InnerMixin { this: Outer#Inner => def bar { // how

5Hitze

2Antwort

Passing um pfadabhängigen Typ nicht abhängig Wert

Beachten Sie Folgendes behalten: trait Platform { type Arch <: Architecture def parseArch(str: String): Option[Arch] } object Platform { def parse(str: String): Option[Platform] = ??

6Hitze

1Antwort

Überraschende Äquivalenzen und Nicht-Äquivalenzen bezüglich this.type

Es scheint einen Unterschied zu machen, ob Sie this.type aus einer Eigenschaft oder aus dem Bereich, in dem das Objekt erstellt wird, beziehen, mit überraschenden Ergebnissen. import scala.reflect.run

5Hitze

3Antwort

Scala Typen: Klasse A ist nicht gleich dem T wobei T: Typ T = A

ich den Abschnitt 20.7 des Buches Programming in Scala zu lesen und ich habe mich gefragt, warum während dieser Code kompiliert: class Food class Fish extends Food class Grass extends Food abstrac

5Hitze

2Antwort

Scala - Untere Grenze Inferenz in pfadabhängigen Arten

Ich versuche zu verstehen, warum können nicht die Scala-Compiler die folgende Einschränkung auf einem Pfad abhängigen Typen ableiten: trait MyTrait class MyTraitImpl extends MyTrait trait MyTrait2[A

9Hitze

1Antwort

Was ist der Unterschied zwischen pfadabhängigen Typen und abhängigen Typen?

Scala hat pfadabhängige Typen, aber es wird gesagt, dass Scala die abhängige Typisierung nicht unterstützt. Was ist der Unterschied zwischen pfadabhängigen Typen und abhängigen Typen? Soweit ich verst

5Hitze

1Antwort

scalaz.Equal für pfadabhängige Typen

Ich experimentiere mit pfadabhängigen Typen und stoße auf ein Problem, wenn ich versuche, eine scalaz.Equal Instanz dafür zu schreiben. Ich habe die folgende Struktur: class A { class B } val

13Hitze

1Antwort

Warum kann Scala nicht den Pfad eines pfadabhängigen Typs ableiten - selbst von einer expliziten Selbstreferenz?

Ich würde gerne ein Objekt an eine Funktion übergeben, die ein Argument mit einem projizierten Typ akzeptiert, und Scala den Schluss ziehen, dass der Typ des Objekts von dem Objekt kommt, das es umgib

12Hitze

1Antwort

Dependent Methodentypen Konflikt mit Standardargumenten

Wenn mit Scalas abhängigen Verfahrenstypen zu spielen, stieß ich auf einen Konflikt mit Standard-Methodenparameter: abstract class X { type Y case class YY(y: Y) } object XX extends X {