existential-type

6Nhiệt

1Trả lời

Làm thế nào để làm việc xung quanh không có khả năng sử dụng ống kính với các loại tồn tại?

Tôi đang sử dụng ống kính thư viện Edward Kmett cho lần đầu tiên, và tìm thấy nó khá đẹp, nhưng tôi chạy vào một snag ... Câu hỏi tại [1] giải thích rằng quantifiers hiện sinh phá vỡ makeLenses. Tôi t

7Nhiệt

1Trả lời

Mô phỏng định lượng hiện hữu trong các kiểu trả về hàm

Thỉnh thoảng tôi thấy cần phải trả về các giá trị của một kiểu định lượng hiện có. Điều này xảy ra thường xuyên nhất khi tôi đang làm việc với các loại phantom (ví dụ đại diện cho độ sâu của một cây c

9Nhiệt

2Trả lời

Gõ chữ GADTs

Giả sử tôi đang viết một DSL và muốn hỗ trợ cả hỗ trợ kiểu ma và các biểu thức được nhập sai. các loại giá trị của tôi có thể {-# LANGUAGE GADTs, DataKinds #-} data Ty = Num | Bool deriving (Typeabl

19Nhiệt

1Trả lời

Định lượng hằng số Haskell chi tiết

Tôi có ý tưởng chung về việc định lượng hiện tại số lượng hiện tại trên các loại và nơi nó có thể được sử dụng. Tuy nhiên từ kinh nghiệm của tôi cho đến nay, có rất nhiều điều cần phải được hiểu để sử

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

12Nhiệt

2Trả lời

Tất cả các tập quán của `forSome` có thể được thay thế bằng cách sử dụng` _` tương đương không? Ví dụ:

Ví dụ: List[T] forSome { type T } tương đương với List[_], nhưng điều này có đúng cho mọi cách sử dụng có thể là forSome hoặc có trường hợp không thể thay thế forSome bằng cú pháp thứ hai không?

26Nhiệt

2Trả lời

Tại sao tôi không thể sử dụng bộ chọn bản ghi với loại định lượng hiện có?

Khi sử dụng các loại Existential, chúng ta phải sử dụng cú pháp khớp mẫu để trích xuất giá trị ed forall. Chúng tôi không thể sử dụng bộ chọn bản ghi thông thường làm chức năng. GHC báo cáo lỗi và đề

5Nhiệt

2Trả lời

Tại sao tôi không thể lấy được Hiển thị ở đây?

Tại sao tôi không thể lấy được Hiển thị ở đây? {-# LANGUAGE ExistentialQuantification #-} data Obj = forall a. (Show a) => Item_Obj {get :: a, rest :: Obj} | No_Obj deriving Show xs :: Obj xs = It

5Nhiệt

1Trả lời

Strange loại không phù hợp khi sử dụng truy cập thành viên thay vì vắt

Cho một tuple với các yếu tố của loại A và một loại parametrised trong A: trait Writer[-A] { def write(a: A): Unit } case class Write[A](value: A, writer: Writer[A]) Và một trang web sử dụng: trait

10Nhiệt

1Trả lời

loại Hiện sinh trong chức năng bậc cao

Tôi đã có một chức năng có nhiệm vụ tính toán một số giá trị tối ưu của loại a wrt một số chức năng giá trị của loại a -> v type OptiF a v = (a -> v) -> a Sau đó, tôi có một container mà muốn để lưu