type-families

5Nhiệt

3Trả lời

Cách viết một họ các chức năng printf (gỡ lỗi in, vv) trong Haskell

Đây là một vấn đề thách thức hơn là một vấn đề hữu ích (tôi đã dành một vài giờ trên đó). Đưa ra một số chức năng, put_debug, put_err :: String -> IO() put_foo :: String -> StateT [String] m() Tôi

9Nhiệt

3Trả lời

Ràng buộc loại trên tất cả các loại trường hợp gia đình

Tôi cho rằng điều tôi muốn là không thể không có Mẫu Haskell nhưng tôi vẫn sẽ hỏi. Tôi có một giao diện với nhiều loại như Data.Set và Data.IntSet: type family Elem s :: * class SetLike s where

5Nhiệt

1Trả lời

Sử dụng các loại ràng buộc và loại gia đình có hạn chế 'giới hạn'

Tôi đang làm việc trên một hàm functor có chứa một monoid để "xem" việc thực hiện. Tuy nhiên, đôi khi tôi không quan tâm đến phần này chút nào, vì vậy sự lựa chọn của monoid là không liên quan vì nó s

5Nhiệt

1Trả lời

gia đình kiểu Haskell, sự hiểu biết thông báo lỗi

Sau khi cố gắng sử dụng Data.Has, tôi đã viết code như sau: data Name = Name; type instance TypeOf Name = Text type NameRecord = FieldOf Name; tôi đã tìm thấy: instance I NameRecord where ...

5Nhiệt

1Trả lời

Cách nhận Điều kiện Bảo hiểm cho các Phụ thuộc Chức năng mà không sử dụng -XUndecidableInstances

Wen sử dụng các phụ thuộc chức năng, tôi thường xuyên truy cập Điều kiện Bảo hiểm . Có thể nhấc nó lên với UndecidableInstances, nhưng tôi thường cố tránh xa phần mở rộng đó. Dưới đây là một ví dụ hơi

6Nhiệt

1Trả lời

tên module phân cấp cho các chương trình loại cấp

Vì vậy, chúng ta hãy nói rằng tôi đã viết một số type-level program trong Haskell: type family NAryFn (n::Nat) (dom::*) (cod::*) :: * type instance NAryFn Ze dom cod = cod type instance NAryFn (Su n

7Nhiệt

1Trả lời

Haskell: Ứng dụng gia đình từ đồng nghĩa không hợp lệ trong ví dụ

Tôi đang làm việc với các ngôn ngữ được nhúng trong Haskell. Ngôn ngữ của tôi có thể được in ra dưới dạng mã nguồn, vì vậy tôi đã tạo một lớp Compile và tạo một cá thể lớp cho mọi phần tử chương trình

7Nhiệt

1Trả lời

Loại chứng minh thể hiện của gia đình có thể được chứng minh không?

Đầu tiên, tôi bắt đầu với một số công cụ số tự nhiên cấp điển hình. {-# LANGUAGE KindSignatures #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE TypeFamilies #-} data Nat = Z |

10Nhiệt

1Trả lời

Các thể loại kiểu mặc định đề cập đến nhau

Có cách nào để có các thể hiện kiểu mặc định được xác định theo các điều kiện của nhau không? Tôi đang cố gắng để có được một cái gì đó giống như làm việc này: {-# LANGUAGE DataKinds, KindSignatures #

5Nhiệt

2Trả lời

bảo lãnh mà các gia đình loại sẽ lấy được lớp nhất định

Tôi có một cái gì đó như sau: {-# LANGUAGE TypeFamilies #-} class Configuration c where data Pig c data Cow c parsePig :: GenParser Char st (Pig c) parseCow :: GenParser Char st