type-bounds

6Ciepło

2Odpowiedz

Moduł Operator vs zero (re: Source arc4random_uniform)

znalazłem się patrząc na źródło arc4random_uniform (http://bxr.su/o/lib/libc/crypt/arc4random_uniform.c) Moje pytanie dotyczy następującej linii (komentarz jest ich oryginalny komentarz): /* 2**32 % x

11Ciepło

2Odpowiedz

Podczas korzystania z notacji kowariancji lub ogólnych ograniczeń w Scali

W wariancie Scala można zdefiniować wariancję z operatorami wariancji, takimi jak + i - na typowym argumencie typu. Na przykład typ List jest kowariancyjny w bibliotece standardowej. class List[+A]

6Ciepło

2Odpowiedz

Dlaczego tutaj nie jest pisana inferencja typów?

Ten problem powstał w module, który piszę, ale zrobiłem minimalny przypadek, który wykazuje takie samo zachowanie. class Minimal[T](x : T) { def doSomething = x } object Sugar { type S[T]

9Ciepło

1Odpowiedz

Jaka jest motywacja dla klas typów w Scali?

Mam pewne problemy motywujące użycie klas typów w Scali, gdy porówna się z górnymi granicami typów. Rozważmy następujący kod: case class NumList[T <: Complex](xs: Complex*) { def sum = (xs fold n

7Ciepło

3Odpowiedz

Uzyskiwanie błędu związanego z typem Scala: nie znaleziono: typ <% <

Próbowałem nauczyć się Scala przez twitter Scala school. Ale obecnie utknąłem w jednym z ich type bound examples. W szczególności jest to ten, w którym typ może być widoczny jako określony typ, przy u

5Ciepło

1Odpowiedz

typu Scala granice i wariancji

Próbuję uzyskać lepsze zrozumienie z następujących zachowań: scala> class C[-A, +B <: A] <console>:7: error: contravariant type A occurs in covariant position in type >: Nothing <: A of type

8Ciepło

5Odpowiedz

Jak skonfigurować wiele granic typu ORed Scala

Czy można zrobić coś takiego w Scala: class MyTest { def foo[A <: String _or_ A <: Int](p:List[A]) = {} } Oznacza to, że typ A może być String lub Int. czy to możliwe? (Podobne pytanie here)