gadt

8Nhiệt

2Trả lời

Điều gần gũi nhất với Haskell GADT và typeclasses trong F # là gì?

F # là một ML có OOP. Gần nhất nó nói đến các loại dữ liệu đại số Haskell và typeclasses là gì?

8Nhiệt

1Trả lời

cách phân tích chuỗi thành cây cú pháp bằng GADT

Tôi đã đọc phần giới thiệu GADT here và tôi đã tìm thấy ý tưởng hạn chế lập trình để tạo đúng loại cây cú pháp tuyệt vời và tôi đưa ý tưởng này vào trình thông dịch tính toán lambda đơn giản của tôi,

6Nhiệt

1Trả lời

Haskell Lỗi mã không thể truy cập?

Giả sử tôi có mã (sai) sau. data A a b where APure :: (A a b) AApply :: A (A b c) c test :: (A a b) -> a -> b test (APure) a = a test AApply a = undefined GHC sau đó sẽ cho tôi lỗi này

15Nhiệt

2Trả lời

GADT của kiểm tra

Xét đoạn mã sau: data (:+:) f g a = Inl (f a) | Inr (g a) data A data B data Foo l where Foo :: Foo A data Bar l where Bar :: Bar B type Sig = Foo :+: Bar fun :: Sig B -> Int fun

14Nhiệt

1Trả lời

Kết hợp mẫu Haskell trên GADT với kiểu dữ liệu

Tôi thấy rằng tôi thực sự thích kết hợp GADT với kiểu dữ liệu, vì nó mang lại cho tôi sự an toàn hơn trước đây (đối với hầu hết các công dụng, gần như tốt như Coq, Agda và cộng sự). Đáng buồn thay, vi

7Nhiệt

1Trả lời

Mô phỏng định lượng hiện hữu trong các kiểu trả về hàm

Thỉnh thoảng tôi thấy cần phải trả về các giá trị của một kiểu định lượng hiện có. Điều này xảy ra thường xuyên nhất khi tôi đang làm việc với các loại phantom (ví dụ đại diện cho độ sâu của một cây c

9Nhiệt

2Trả lời

Gõ chữ GADTs

Giả sử tôi đang viết một DSL và muốn hỗ trợ cả hỗ trợ kiểu ma và các biểu thức được nhập sai. các loại giá trị của tôi có thể {-# LANGUAGE GADTs, DataKinds #-} data Ty = Num | Bool deriving (Typeabl

7Nhiệt

1Trả lời

Khi nào GADT được giới thiệu trong GHC?

Khi nào GADT được giới thiệu trong GHC? (phiên bản + ngày) Ngoài ra, chúng có còn được coi là tiện ích mở rộng ngôn ngữ hay bây giờ chúng là một phần của tiêu chuẩn Haskell đúng không?

20Nhiệt

2Trả lời

Tôi làm cách nào để khôi phục tính năng chia sẻ trong GADT?

Trong Type-Safe Observable Sharing in Haskell Andy Gill cho thấy cách khôi phục chia sẻ tồn tại trên cấp độ Haskell, trong DSL. Giải pháp của ông được thực hiện trong data-reify package. Cách tiếp cận

13Nhiệt

2Trả lời

GADTs so với MultiParamTypeClasses

Tôi đang cố gắng nắm bắt GADTs và tôi đã xem GADTs example trong hướng dẫn sử dụng của GHC. Theo như tôi có thể nói, nó có thể làm điều tương tự với MultiParamTypeClasses: {-# LANGUAGE MultiParamTypeC