higher-rank-types

7Nhiệt

1Trả lời

Newtype xung quanh ST gây loại lỗi

Khi tôi cố gắng để tải đoạn mã sau dưới GHC 7.4.1: {-# LANGUAGE RankNTypes #-} import Control.Monad.ST newtype M s a = M { unM :: ST s a } runM :: (forall s. M s a) -> a runM (M m) = runST m

haskell polymorphism higher-rank-types 2013-09-12

---

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

haskell ghc higher-rank-types 2013-06-05

---

7Nhiệt

1Trả lời

Cách loại từ đồng nghĩa chính xác hoạt động như thế nào?

động như thế nào đến, mà kiểm tra loại sau {-# LANGUAGE RankNTypes #-} module Main where class Foo a where type FunFoo = (Foo a) => a -> IO() data Bar = Bar { funFoo :: FunFoo } setFun

haskell types type-systems higher-rank-types 2010-11-20

---

16Nhiệt

2Trả lời

Làm thế nào có thể giảm eta của một hàm đánh máy cũng dẫn đến lỗi loại?

Tôi đã chơi xung quanh với ống kính van Laarhoven và chạy vào một vấn đề mà các loại trình kiểm tra bác bỏ các hình thức eta-giảm của một hàm nổi gõ: {-# LANGUAGE RankNTypes #-} import Control.Appli

haskell higher-rank-types 2013-05-06

---

7Nhiệt

1Trả lời

Bản đồ không đồng nhất

Tôi cần bản đồ có thể chứa các giá trị tùy ý miễn là các loại của chúng có cùng kiểu chữ. Cách tiếp cận ngây thơ đầu tiên của tôi là một cái gì đó như thế này: type HMap = forall a . MyClass a => M.Ma

haskell polymorphism existential-type higher-rank-types 2012-05-24

---

13Nhiệt

4Trả lời

biến Generic của bi fab = (fa, fb)

Có cách nào loại an toàn để viết một hàm bi f a b = (f a, f b) như vậy mà nó sẽ có thể sử dụng nó như thế này: x1 :: (Integer, Char) x1 = bi head [2,3] "45" x2 :: (Integer, Char) x2 = bi fst (2,

haskell types higher-rank-types 2012-05-27

---

15Nhiệt

2Trả lời

xếp hạng cao hơn và impredicative loại

Tôi muốn thực hiện các chức năng stripPrefixBy sau: -- psuedo code signature stripPrefixBy :: forall a. [forall b. a -> Maybe b] -> [a] -> Maybe [a] stripPrefixBy [] xs = Just xs stripPrefixBy _ []

haskell higher-rank-types 2012-01-05

---

37Nhiệt

1Trả lời

Tài liệu STArray cho người mới và các câu hỏi liên quan đến tiểu bang/ST

Tôi có một thời gian khó khăn để hiểu được STArray từ tài liệu và các thảo luận/thảo luận khác mà tôi đã tìm thấy thông qua Google. Tôi có thêm một số câu hỏi liên quan bên dưới. Theo tài liệu, STArra

arrays haskell state higher-rank-types 2011-11-19

---

9Nhiệt

1Trả lời

Loại so với xếp hạng theo lý thuyết loại

Tôi đang gặp khó khăn trong việc hiểu loại Cao hơn hoặc Loại xếp hạng cao hơn. Loại khá đơn giản (nhờ tài liệu Haskell cho điều đó) và tôi đã từng nghĩ xếp hạng giống như loại khi nói về các loại nhưn

type-theory higher-rank-types type-kinds 2012-11-09

---

11Nhiệt

2Trả lời

map runSTArray trong danh sách STArrays?

Tôi có một chức năng tạo ra đệ quy một danh sách các ma trận phẳng từ một cây phải có thể thay đổi được vì các phần tử của chúng được cập nhật thường xuyên trong quá trình tạo. Cho đến nay tôi đã đưa

arrays haskell state higher-rank-types 2011-11-28

---