haskell

6Nhiệt

2Trả lời

RankNTypes: áp dụng các chức năng tương tự cho các cặp của các loại khác nhau

Tôi đã cố gắng để xác định chức năng này để tập hợp lại ba danh sách các cặp: {-# LANGUAGE RankNTypes #-} mapAndZip3 :: (forall x. x -> f x) -> [a] -> [b] -> [c] -> [(f a, f b, f c)] m

14Nhiệt

3Trả lời

Có cách nào để sử dụng IO Bool trong if-tuyên bố mà không ràng buộc với một tên trong haskell?

Nếu tôi có chức năng trả về IO Bool (cụ thể là atomically), có cách nào để sử dụng giá trị trả lại trực tiếp trong tuyên bố if mà không có ràng buộc không? Vì vậy, hiện nay tôi đã có ok <- atomically

8Nhiệt

1Trả lời

Trong GHCi, tôi có thể sử dụng kết quả của biểu thức trước đó không?

Tôi đang thực hiện một số thử nghiệm trong GHCi và tôi có hoạt động chạy dài (5 phút) vừa phải mà tôi đang cố gắng điều chỉnh. Kết quả bắt đầu in ra một phần, và tôi thường có thể nói rằng thuật toán

6Nhiệt

1Trả lời

Các khoản tiền cho các gia đình ràng buộc

Rất nhiều ràng buộc dường như đi kèm với nhau. Hãy tóm tắt chúng đi. type MonadNumState a m = (MonadState a m, Num a) MonadNumState chỉ là một từ đồng nghĩa hạn chế, vì vậy tôi có được lợi ích của v

8Nhiệt

3Trả lời

Ký hiệu ghi chú Haskell để liên kết

Tôi đang cố gắng giải thích một câu lệnh trong Haskell. Tôi đã tìm thấy một số ví dụ ở đây trên SO nhưng không thể áp dụng chúng cho trường hợp của tôi. Điều duy nhất tôi có thể nghĩ là một tuyên bố l

13Nhiệt

1Trả lời

Hiển thị các loại chức năng trong Haskell

Ngoài việc tải một tệp Haskell vào GHCi và sau đó sử dụng :type <expr>, có cách nào để hiển thị các loại trình biên dịch cho tất cả các hàm khi chúng được biên dịch không?

18Nhiệt

2Trả lời

Haskell Pattern Matching Thất bại trên Số Negative

Trình biên dịch Haskell ném một lỗi trên các chức năng sau: balancedMax :: Int -> Int -> Int balancedMax -1 _ = -1 balancedMax _ -1 = -1 balancedMax a b = max a b Flipping dấu giải quyết vấn đề:

5Nhiệt

1Trả lời

Viết một thể hiện Hiển thị cho Data.Functor.Compose mà không có FlexibleContexts

Tôi đang thử nghiệm với Data.Functor.Compose và muốn viết một ví dụ Hiển thị cho nó khi thử mọi thứ trong ghci. Những gì tôi có (đang hoạt động) là: {-# LANGUAGE FlexibleContexts #-} instance (Show (

38Nhiệt

1Trả lời

Làm cách nào tôi có thể sử dụng GHCi với cabal 1.17 hộp cát mới?

Tôi đã thử đầu cabal có hỗ trợ cho các hộp cát tương tự như cabal-dev. Tuy nhiên, chưa có hỗ trợ cho số tương đương cabal-dev ghci và apparently no support planned cho bản phát hành tiếp theo. Có một

7Nhiệt

2Trả lời

Thăm dò ý kiến lâu dài ở Yesod

Tôi có thể thực hiện bỏ phiếu dài trong Yesod, hoặc bất kỳ khung công tác web Haskell nào khác với cơ sở dữ liệu so sánh được không? Để chính xác, tôi muốn trì hoãn phản hồi HTTP cho đến khi có điều g