type-bounds

8Hitze

1Antwort

Scala: mit Typparametern oder abstrakte Typen als Typ

Es sei begrenze ich habe: class Bounded[A] { type apply[C <: A] = C } Dies kompiliert: implicitly[Bounded[Any]#apply[String] =:= String] Dies schlägt fehl: type Str = Bounded[Any]#apply[Stri

scala types type-bounds phantom-types 2014-10-06

---

9Hitze

1Antwort

Was motiviert Typklassen in Scala?

Ich habe Probleme, die Verwendung von Typklassen in Scala zu motivieren, wenn man mit Obergrenzen auf Typen vergleicht. Betrachten Sie den folgenden Code ein: case class NumList[T <: Complex](xs: Comp

scala design-patterns typeclass type-bounds 2013-04-10

---

7Hitze

3Antwort

Get Scala Typ gebunden Fehler: nicht gefunden: Geben Sie <% <

So habe ich versucht, Scala durch die twitter Scala school zu lernen. Aber ich bin derzeit bei einem ihrer type bound examples stecken. Insbesondere ist es der Typ, bei dem der Typ als bestimmter Typ

scala type-bounds 2013-02-20

---

2Hitze

2Antwort

Wie passe ich Typen an, die keine bestimmte Typklasseninstanz haben?

würde Ich mag einige Verhalten für diese Typen definieren, die keine Instanz für eine bestimmte typeclass hat: // Given trait SomeTypeclass[T] // when we have implicit SomeTypeclass[T]

scala typeclass type-bounds 2016-06-01

---

5Hitze

1Antwort

Scala Typ Grenzen & Varianz

Ich versuche, ein besseres Verständnis für das folgende Verhalten zu erhalten: scala> class C[-A, +B <: A] <console>:7: error: contravariant type A occurs in covariant position in type >: No

scala generics types type-inference type-bounds 2013-06-04

---

11Hitze

2Antwort

Warum erweitert <T Enum <T> & SomeInterface> kompilieren, aber nicht <T erweitert SomeInterface & Enum <T>>?

Ich kann nicht verstehen, warum die Methode2 nicht kompiliert, während Methode1 kompiliert. Ich bin mit Eclipse mit JavaSE 1.7 und ich bekam die folgende Fehlermeldung auf method2: Multiple markers at

java generics enums type-bounds 2015-05-12

---

1Hitze

1Antwort

Warum verbietet Scala-Compiler die Deklaration eines Wildcard-Typs als Super-Typ eines Typparameters

Ich habe versucht, einen Typalias für den abhängigen Typ _ >: a.type zu erstellen. Der Scala-Compiler einen Fehler meldet, die ich nicht verstehe: scala> def foo[A](a: A) = { | type F = Function1

scala type-parameter dependent-type existential-type type-bounds 2016-08-03

---

7Hitze

4Antwort

Scala abgeleiteten Typ Argumente - Geben Sie Grenzen auf "Nothing"

Ich versuche, eine einfache Abfrage Monad zu schreiben und habe Probleme, meine generischen Typ Anmerkungen richtig zu bekommen. Mein erster Versuch ging wie folgt (in beträchtlichem Ausmaß für Prägna

scala generics type-inference type-bounds 2013-04-30

---

5Hitze

2Antwort

Existentielle Typ oder Typ gebunden Parameterfehler

Ich habe einen F-begrenzt Typen Sys: trait Sys[S <: Sys[S]] und einige Eigenschaft, die es als Typ-Parameter übernehmen: trait Foo[S <: Sys[S]] Angenommen, ich habe eine Methode zu sein, aufgerufe

scala pattern-matching existential-type type-bounds bounded-quantification 2014-01-07

---

6Hitze

2Antwort

Modulus Operator vs Null (re: arc4random_uniform Quelle)

fand ich auf der arc4random_uniform Quelle sucht (http://bxr.su/o/lib/libc/crypt/arc4random_uniform.c) Meine Frage an die folgenden Zeile betrifft (der Kommentar ist ihr ursprünglicher Kommentar): /*

c math cryptography openbsd type-bounds 2015-05-28

---