Câu hỏi được gắn thẻ «deriving»

Các kiểu dữ liệu đại số (ADT) trong Haskell có thể tự động trở thành các thể hiện của một số typeclasse (nhưShow,Eq) bằng cách lấy từ chúng. data Maybe a = Nothing | Just a deriving (Eq, Ord) Câu hỏi của tôi là, điều này derivinghoạt động như thế …

104 haskell  typeclass  derived-types  derived-instances  deriving 

Với bất kỳ loại vùng chứa nào, chúng ta có thể tạo Zipper (tập trung vào phần tử) và biết rằng cấu trúc này là một Dấu phẩy. Điều này gần đây đã được khám phá chi tiết tuyệt vời trong một câu hỏi Stack Overflow khác cho loại sau: …

80 haskell  zipper  deriving  comonad 

Tôi có một tá các loại mới như thế này: newtype MyBool = MyBool Bool newtype MyInt = MyInt Int Tôi muốn sử dụng lại các trường hợp hiện có: instance MArray IOUArray Int IO where ... instance MArray (STUArray s) Int (ST s) where ... Thực hiện các trường …

8 haskell  typeclass  newtype  deriving