type-bounds

6calore

2risposta

Modulo Operatore vs Zero (re: fonte arc4random_uniform)

ritrovai a guardare il sorgente arc4random_uniform (http://bxr.su/o/lib/libc/crypt/arc4random_uniform.c) mia domanda riguarda la riga seguente (il commento è la loro commento originale): /* 2**32 % x

8calore

1risposta

Scala: utilizzando parametri di tipo o tipi astratti come tipo delimita

Supponiamo che io sono: class Bounded[A] { type apply[C <: A] = C } Questo compila: implicitly[Bounded[Any]#apply[String] =:= String] Questo fallisce: type Str = Bounded[Any]#apply[String]

9calore

3risposta

non può escludere un tipo con non volatile limite superiore

ho un errore del compilatore in scala e non so che cosa si riferiscono a: Assumere queste dichiarazioni: trait Abstract { type MyType } trait AInner trait A extends Abstract{ type MyType

6calore

2risposta

Perché non digitare l'inferenza funziona qui?

Questo problema è sorto in un modulo che sto scrivendo, ma ho creato un caso minimale che mostra lo stesso comportamento. class Minimal[T](x : T) { def doSomething = x } object Sugar { ty

9calore

1risposta

Qual è la motivazione per le classi di tipi in Scala?

Ho difficoltà a motivare l'uso delle classi di tipi in Scala quando si confrontano i limiti superiori dei tipi. consideri il codice seguente: case class NumList[T <: Complex](xs: Complex*) { def

5calore

1risposta

tipo Scala limiti e varianza

Sto cercando di ottenere una migliore comprensione del seguente comportamento: scala> class C[-A, +B <: A] <console>:7: error: contravariant type A occurs in covariant position in type >: No

8calore

5risposta

Come faccio a impostare più di tipo ORed limiti a Scala

è possibile fare qualcosa di simile in Scala: class MyTest { def foo[A <: String _or_ A <: Int](p:List[A]) = {} } Cioè, il tipo A potrebbe essere un String o Int. È possibile? (interrogazione