template-haskell

14Nhiệt

1Trả lời

Nhận tên trường của bản ghi Haskell dưới dạng danh sách các chuỗi?

Nói rằng tôi có như sau: data Rec = Rec { alpha :: Int, beta :: Double, phi :: Float } sample = Rec 1 2.3 4.5 Tôi hiểu Template Haskell & các reify chức năng có thể làm cho tôi tên

8Nhiệt

1Trả lời

Đánh giá một chức năng tại thời gian biên dịch với Template Haskell

Tôi viết một lớp HashString đơn giản, đó chỉ là một chuỗi và băm của nó: data HashString = HashString Int --^hash T.Text --^string! Bây giờ tôi đang cố gắng để tạo ra những lúc biên dịch

8Nhiệt

1Trả lời

Haskell xem xét tên và loại trường của bản ghi

Dựa trên recent exchange, tôi đã bị thuyết phục sử dụng Mẫu Haskell để tạo một số mã để đảm bảo an toàn loại biên dịch theo thời gian. Tôi cần xem xét các tên và loại trường bản ghi. Tôi hiểu rằng tôi

6Nhiệt

1Trả lời

Cách lấy giá trị chữ của một TemplateHaskell có tên biến

Nếu tôi có một Name trong TemplateHaskell và muốn tìm ra giá trị của biến mà nó đặt tên, miễn là biến được khai báo là chữ, thì điều này có thể được thực hiện không? var = "foo" -- Can `contentsOf` b

8Nhiệt

1Trả lời

Template Haskell tờ khai dữ liệu mà lấy Hiện

Sau đây không biên dịch: import Language.Haskell.TH makeAlpha n = [d| data Alpha = Alpha $(conT n) deriving (Show, Read) |] Tôi không thể làm ra những gì lỗi nghĩa ở tất cả: Can't derive instances

11Nhiệt

1Trả lời

Hàm tạo dữ liệu trong mẫu haskell

Tôi đang cố gắng tạo vòng Z/n (như số học bình thường, nhưng modulo một số số nguyên). Ví dụ mẫu là Z4: instance Additive.C Z4 where zero = Z4 0 (Z4 x) + (Z4 y) = Z4 $ (x + y) `mod` 4 Và c

7Nhiệt

4Trả lời

Chuyển đổi một chuỗi đến một Loại Constructor trong Haskell

Có ai biết nếu có một hàm trong Haskell mà làm điều gì đó như thế này: "Int" -> Int "String" -> String "Bool" -> Bool tức. nó lấy một biểu diễn chuỗi của một tên hàm dựng, và chuyển đổi nó thành

6Nhiệt

5Trả lời

In và thực hiện một chuỗi

tôi thấy mình viết rất nhiều mã như putStr "foo (bar 1) (bar 2) =" print $ foo (bar 1) (bar 2) Vấn đề là, thông điệp được in có thể nhận ra đồng bộ với mã thực thi thực tế. Giải pháp hiển nhiên l

8Nhiệt

2Trả lời

thừa số Đa thức trong Haskell

Với hammar's help Tôi đã thực hiện một mẫu Haskell chút mà biên dịch $(zModP 5) để newtype Z5 = Z5 Int instance Additive.C Z5 where (Z5 x) + (Z5 y) = Z5 $ (x + y) `mod` 5 ... bây giờ tôi đa

6Nhiệt

2Trả lời

Langage.Haskell.TH.report hoạt động như thế nào?

Thật không may, nhiều chức năng Mẫu Haskell hoàn toàn không có tài liệu nào cả. Một chức năng như vậy là report. Phải mất Bool và String và tạo ra lỗi biên dịch với chuỗi được chỉ định làm thông báo l