polymorphism

17Nhiệt

2Trả lời

Haskell bậc hai polymorphism biên dịch lỗi

Với định nghĩa sau đây: import Control.Monad.ST import Data.STRef fourty_two = do x <- newSTRef (42::Int) readSTRef x Các biên dịch sau đây theo GHC: main = (print . runST) fourty_two -

7Nhiệt

3Trả lời

Tạo đối tượng và đa hình

Tôi muốn tránh sử dụng các lớp được gắn thẻ và các khối if-else hoặc câu lệnh chuyển đổi và sử dụng đa hình với phân cấp lớp thay vào đó, mà tôi tin là thực hành tốt hơn. Ví dụ, một cái gì đó giống nh

10Nhiệt

2Trả lời

Đa hình và Constructors

Tôi là một Học sinh Java AP và tôi đang thực tập cho kỳ thi của mình. Tôi đã xem qua câu hỏi này và tôi không hiểu câu trả lời: Hãy xem xét các loại sau đây: public class A { public A() { method

12Nhiệt

1Trả lời

Suy luận kiểu GHC cho các loại xếp hạng cao hơn - gán cho các kiểu đơn

Trước đây tôi đã hỏi question và sau nhiều điều tra, tôi kết luận rằng có các quy tắc đặc biệt GHC chỉ áp dụng cho infix $ và .. Đối với câu hỏi này, tôi giả định rằng GHC tuân theo hệ thống được đề c

5Nhiệt

2Trả lời

Cách sử dụng mẫu Khách truy cập để thay thế "instanceof"

Tôi hơi không thân thiện với mẫu Khách truy cập, nhưng tôi có một nhiệm vụ cần thực hiện Khách truy cập (nếu tôi muốn tránh kiểm tra "instanceof"). Tôi có một lớp là trình bao bọc cho một số phần tử g

7Nhiệt

2Trả lời

Đa hình: Bắt nguồn từ một thành viên được bảo vệ trong một lớp cơ sở?

Tôi đang làm việc để lập trình trình phát phương tiện cơ bản và tôi gặp một số sự cố khi viết mã đa hình, đó là điều tôi đã nghiên cứu, nhưng chưa bao giờ thực sự được triển khai trước đó. Có bốn lớp

5Nhiệt

1Trả lời

Boost Python: container đa hình?

Tôi có một phương pháp (hoặc chức năng) mà trả về một tham chiếu đến một danh sách các đối tượng đa hình: class A { }; class B : public A { }; std::list<boost::shared_ptr<A> >& getList(); Là

6Nhiệt

2Trả lời

Loại Scala: giới hạn trên ít nhất

Tôi đang cố gắng tham số hóa một số phương pháp có thông số loại rất chung chung. Như một ví dụ, trong REPL tôi lần đầu tiên xác định: trait Term case class FunctionalTerm[+T <: Term](t: T) extends T

17Nhiệt

2Trả lời

Cách giải quyết "phương pháp ảo thuần túy được gọi là"

Tôi hiểu tại sao điều này xảy ra, nhưng tôi đang cố gắng giải quyết nó ... đây là những gì mã của tôi đang thực hiện khi lỗi được tạo ra (do đó dẫn đến sự cố) khi chương trình của tôi ra khỏi ... pure

7Nhiệt

1Trả lời

Bản đồ không đồng nhất

Tôi cần bản đồ có thể chứa các giá trị tùy ý miễn là các loại của chúng có cùng kiểu chữ. Cách tiếp cận ngây thơ đầu tiên của tôi là một cái gì đó như thế này: type HMap = forall a . MyClass a => M.Ma