type-bounds

9Nhiệt

3Trả lời

Không thể ghi đè lên một loại với non-volatile trên ràng buộc

Tôi có một lỗi biên dịch trong scala và tôi không biết điều đó có đề cập đến: Giả sử những tờ khai: trait Abstract { type MyType } trait AInner trait A extends Abstract{ type MyType <: AI

scala types type-bounds volatility non-volatile 2013-04-08

---

11Nhiệt

2Trả lời

Khi sử dụng ký hiệu hiệp phương sai hoặc giới hạn chung trong Scala

Trong phương sai Scala có thể được xác định bằng toán tử phương sai như + và - trên đối số kiểu chung. Ví dụ: loại List là biến thể trong thư viện chuẩn. class List[+A] Vì vậy, một chức năng với một

scala bounds variance type-bounds 2010-09-08

---

6Nhiệt

2Trả lời

Tại sao không gõ suy luận hoạt động ở đây?

Vấn đề này phát sinh trong một mô-đun tôi đang viết, nhưng tôi đã thực hiện một trường hợp tối thiểu thể hiện hành vi tương tự. class Minimal[T](x : T) { def doSomething = x } object Sugar {

scala structural-typing type-bounds 2012-04-27

---

9Nhiệt

1Trả lời

Động lực cho loại lớp học ở Scala là gì?

Tôi đang gặp một số khó khăn thúc đẩy việc sử dụng các lớp loại trong Scala khi so sánh với giới hạn trên các loại. Xét đoạn mã sau: case class NumList[T <: Complex](xs: Complex*) { def sum = (xs

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

---

5Nhiệt

1Trả lời

Scala loại vọt & sai

tôi đang cố gắng để có được một sự hiểu biết tốt hơn về các hành vi sau đây: scala> class C[-A, +B <: A] <console>:7: error: contravariant type A occurs in covariant position in type >: Noth

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

---

7Nhiệt

4Trả lời

Đối số kiểu suy luận của Scala - Loại giới hạn phỏng đoán 'Không có gì'

Tôi đang cố gắng viết một đơn truy vấn đơn giản và đang gặp sự cố khi nhận chú thích loại chung chính xác của mình. nỗ lực đầu tiên của tôi đã đi như sau (bao la đơn giản hóa cho conciseness) case cla

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

---