monomorphism-restriction

8Nhiệt

1Trả lời

Khi nào tôi có thể liên kết một chức năng với một tên khác?

Khi làm việc trong các phiên dịch, nó thường thuận tiện để ràng buộc một chức năng để một tên, ví dụ: ghci> let f = (+1) ghci> f 1 2 Đây là bí danh tên f đến chức năng (+1). Đơn giản. Tuy nhiên, đ

haskell monomorphism-restriction 2011-12-28

---

9Nhiệt

1Trả lời

Sử dụng trình đơn trạng thái để ẩn trạng thái rõ ràng

Tôi đang cố viết một trò chơi nhỏ trong Haskell và có một số lượng trạng thái cần thiết để vượt qua. Tôi muốn thử che giấu tiểu bang bằng đơn vị Tiểu bang Bây giờ tôi đã gặp phải vấn đề: các chức năng

haskell state monads monomorphism-restriction 2012-06-02

---

5Nhiệt

1Trả lời

Transducers trong Haskell và những hạn chế monomorphism

tôi thực hiện đầu dò trong Haskell như sau: {-# LANGUAGE RankNTypes #-} import Prelude hiding (foldr) import Data.Foldable type Reducer b a = a -> b -> b type Transducer a b = forall t. Reducer

haskell higher-rank-types transducer monomorphism-restriction 2015-01-11

---

10Nhiệt

2Trả lời

NoMonomorphismRestriction giúp duy trì việc chia sẻ?

Tôi đã cố gắng trả lời another question về tính đa hình so với chia sẻ khi tôi tình cờ gặp hành vi kỳ lạ này. Trong GHCi, khi tôi xác định một cách rõ ràng một hằng số đa hình, nó không nhận được bất

haskell ghc data-sharing monomorphism-restriction 2012-06-21

---

6Nhiệt

2Trả lời

Làm thế nào để in loại chức năng đa hình (hoặc giá trị) trong ghci với các quy tắc mặc định kiểu được áp dụng?

Khi tôi nhập :t lệnh trong GHCi Tôi thấy kiểu đa hình: ghci> :t 42 42 :: Num t => t ghci> :t div div :: Integral a => a -> a -> a Nhưng sau khi tôi thực sự đánh giá chức năng như vậy tôi thấy kết

haskell types polymorphism ghci monomorphism-restriction 2017-09-13

---