newtype

8Nhiệt

2Trả lời

Xin hãy giúp tôi hiểu được định nghĩa sau đây: newtype Writer w a = Writer { runWriter :: (a,w) } instance (Monoid w) => Monad (Writer w) where return a = Writer (a,mempty) (Writer (a,w

10Nhiệt

1Trả lời

Quy tắc của thứ tự của nhiều biến kiểu trong haskell là gì?

Ví dụ, ParsecT có nhiều biến kiểu trong định nghĩa của nó. newtype ParsecT s u m a = ParsecT {unParser :: forall b . State s u -> (a -> State s u -> ParseError -> m b) ->

9Nhiệt

2Trả lời

Tại sao tôi có thể bỏ qua hàm khởi tạo khi đề cập đến các kiểu số được bao bọc bởi kiểu mới?

Trên trang 321 của Real World Haskell Có các mã, ... {-# LANGUAGE GeneralizedNewtypeDeriving #-} newtype AInt = A { unA::Int } deriving (Show, Eq, Num) instance Monoid AInt where mempty =

15Nhiệt

2Trả lời

Haskell Newtype với ngoặc

Tôi đang cố gắng để hiểu được Giải thích tại Monads made difficult và tôi có một thời gian khó khăn để tìm ra định nghĩa Newtype sau: newtype (FComp g f) x = FComp { unCompose :: g (f x) } instance

15Nhiệt

2Trả lời

Độ mềm/độ chặt giữa dữ liệu và kiểu mới

Tôi đang cố gắng hiểu tại sao hai đoạn này tạo ra các kết quả khác nhau dưới cái gọi là "phân tích độ nghiêm ngặt của người nghèo". Ví dụ đầu tiên sử dụng data (giả sử một trường hợp applicative đúng)

8Nhiệt

1Trả lời

Các lớp giá trị do người dùng định nghĩa trông như thế nào từ Java?

Tôi nghĩ rằng tôi hiểu được mới "class giá trị" tính năng của Scala 2.10, bằng cách so sánh với newtype Haskell của: trait BoundedValue[+This] extends Any { this: This => def upperBound: This