Haskell: Làm thế nào tôi có thể định nghĩa một loại lớp cho các bộ?

Question

Tổng số người mới ở đây, đang gặp khó khăn.

Tôi đang cố xác định loại loại cho tập hợp. Đối với trường hợp này, nó sẽ chỉ yêu cầu định nghĩa 'tồn tại'. 'tồn tại' sẽ lấy một tập hợp và chức năng trên một mục đã đặt và trả lại một boolean. Làm thế nào tôi có thể xác định điều đó trong Haskell?

Sau đây có phải là đúng hướng không? Vì vậy, có là định nghĩa kiểu lớp và một thực hiện của bộ với danh sách, mà 'tồn tại' trả về true cho bây giờ ..

-- Set.hs -- 

class Set a b where 

    exists :: a -> (b -> Bool) -> Bool 


-- ListSet.hs -- 

instance Set ListSet a where 

    exists a f = True 

-

(kết quả: Quá nhiều tham số cho lớp 'Set ')

Answer 1

Bạn có thể thực hiện theo cách này, với đủ tiện ích mở rộng. Ít nhất, bạn sẽ cần nhiều lớp kiểu tham số. Tuy nhiên, nó sẽ rất khó chịu khi sử dụng: bạn sẽ cần phải chỉ định các chữ ký rõ ràng trên khắp nơi. Một cách để khắc phục sự cố đó là giới thiệu một sự phụ thuộc chức năng (sử dụng một phần mở rộng khác):

class Set a b | a -> b where 
    exists :: a -> (b -> Bool) -> Bool 

Điều này nói rằng bạn cũng biết loại phần tử đó. Tuy nhiên, có một cách đơn giản hơn mà làm việc mà không cần bất kỳ phần mở rộng:

class Set f where 
    exists :: f a -> (a -> Bool) -> Bool 

Ở đây, lớp loại dao động so với các loại cao kinded, đó là một thủ thuật gọn gàng và khó khăn để đến với một mình nếu bạn chưa bao giờ nhìn thấy nó trước!

Answer 2

Daniel Wagner đã đưa ra câu trả lời hoàn hảo về những gì bạn đang cố gắng làm. Tôi chỉ muốn thêm một điểm về lỗi của bạn - Too many parameters for class 'Set'. Điều này có nghĩa là bạn không bật tiện ích mở rộng GHC tương ứng - MultiParamTypeClasses. Bạn có thể làm điều đó bằng cách chỉ định loại nhận xét đặc biệt ở đầu tệp nguồn của mình:

{-# LANGUAGE MultiParamTypeClasses #-} 
-- 
-- Your source code here 
-- 

Sau đó, bạn sẽ có thể biên dịch mã của mình.

Một tính năng Haskell khác được đề cập trong câu trả lời của Daniel cũng yêu cầu bật phần mở rộng nhất định, cụ thể là FunctionalDependencies (đây là điều .. | a -> b .. kỳ lạ bên trong khai báo lớp loại). Bạn có thể bật nhiều phần mở rộng cùng một lúc sử dụng dấu phẩy, như thế này:

{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-} 

bình luận của Carl đề cập một phần mở rộng, TypeFamilies, mà cũng có thể cung cấp phương tiện cho những gì bạn đang cố gắng làm (lớp chung của các loại bộ hoặc khác loại bộ sưu tập). Bạn có thể đọc về nó ở đây: http://www.haskell.org/haskellwiki/Type_families.