structural-typing

14Nhiệt

1Trả lời

chấp nhận nhiều loại cho một tham số trong scala

Tôi có hai đối tượng, ObjectA và ObjectB, cả hai đều có cập nhật phương thức(). Tôi muốn viết một hàm chấp nhận hoặc là ObjectA hoặc ObjectB (nhưng không có loại nào khác). Về mặt lý thuyết, đây là nh

5Nhiệt

1Trả lời

Sự phù hợp kiểu cấu trúc tổng quát trong Scala

Tôi quan tâm đến vấn đề phù hợp với loại cụ thể đối với loại cấu trúc tổng quát hơn. Hãy xem xét các ví dụ sau: trait Sup trait Sub extends Sup type General = { def contra(o: Sub): Unit

24Nhiệt

2Trả lời

Quan sát hài hước về các loại cấu trúc đệ quy trong Scala

Tôi cần một số kiểu cấu trúc đệ quy trong một số đoạn mã sử dụng với các đặc điểm và kiểu cấu trúc như ràng buộc tham số kiểu. Nó hoạt động tốt, nhưng sau này tôi đã học được Scala không hỗ trợ các ki

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 {

15Nhiệt

2Trả lời

Tại sao scala sử dụng phản xạ để gọi phương thức trên kiểu cấu trúc?

Nếu chức năng chấp nhận kiểu cấu trúc, nó có thể được định nghĩa là: def doTheThings(duck: { def walk; def quack }) { duck.quack } hoặc type DuckType = { def walk; def quack } def doTheThings(duck:

8Nhiệt

2Trả lời

Scala - làm thế nào để xác định một loại cấu trúc đề cập đến chính nó?

Tôi đang cố gắng để viết một interpolate phương pháp chung mà hoạt động trên bất kỳ loại có hai phương pháp, một * và +, như thế này: trait Container { type V = { def *(t: Double): V de

8Nhiệt

1Trả lời

Phản ánh kiểu kết cấu phụ

Chúng ta có thể lấy loại val s: String bằng cách sử dụng sự phản chiếu từ bên ngoài của hàm f? val f = (r: {val s: String}) => { }

17Nhiệt

2Trả lời

"Kiểu gõ cấu cho giao diện" là gì trong nguyên cảo

Trong blog post của mình về nguyên cảo, Mark Rendle đang nói, mà một trong những điều anh thích về nó là:. "gõ cấu cho các giao diện tôi thực sự muốn C# có thể làm điều đó " Ý của anh ấy là gì?

6Nhiệt

2Trả lời

Tại sao không thể tối ưu hóa trường hợp chuyển đổi tiềm ẩn này?

Tại sao Scala không thể tối ưu hóa những điều sau: a. implicit def whatever[A](a: A) = new { ... } tới: b. class some$generated$name(a: A) { ... } implicit def whatever[A](a: A) = new some$ge

5Nhiệt

1Trả lời

Các kiểu cấu trúc và nguyên thủy

Tôi đang chơi đùa với các kiểu cấu trúc của Scala khi tôi phát hiện ra những gì trông giống như một lỗi đối với tôi. Đây là mã của tôi: type toD = { def toDouble: Double } def foo(t: toD) = t.toDoubl