template-haskell

7Nhiệt

1Trả lời

Tuyên bố truy xuất độc lập trong báo giá Bản mẫu Haskell

Tại sao Mẫu Haskell bỏ qua khai báo dẫn xuất độc lập trong báo giá? {-# LANGUAGE TemplateHaskell, StandaloneDeriving #-} data Test a = Test a $([d| deriving instance Show a => Show (Test a); f x = x

7Nhiệt

2Trả lời

Có thể tạo và chạy mã được tạo bởi TemplateHaskell khi chạy không?

Có thể tạo và chạy mã được tạo bởi TemplateHaskell khi chạy không? Sử dụng C, trong thời gian chạy, tôi có thể: tạo mã nguồn của một hàm, gọi ra gcc để biên dịch nó vào một .so (linux) (hoặc sử dụng l

12Nhiệt

3Trả lời

Tạo mã bằng Scala

Khi sử dụng chuỗi công cụ SBT trong Scala, có thể viết một tác vụ sẽ đọc một phần đặc biệt của nguồn dự án để tạo mã scala lúc biên dịch không. Bất kỳ ý tưởng hoặc thậm chí bài viết/hướng dẫn về điều

7Nhiệt

2Trả lời

Tại sao TemplateHaskell khiến GHC tải gói?

tôi có một chương trình Mẫu tầm thường Haskell mà in tên của module hiện tại (Main, đây): {-# LANGUAGE TemplateHaskell #-} module Main (main ) where import Language.Haskell.TH import Language.Ha

9Nhiệt

2Trả lời

Làm thế nào để vượt qua giới hạn giai đoạn GHC?

Tôi đang viết trình tạo mã có đầu ra phụ thuộc vào mô tả trường dữ liệu được lưu trữ trong các phiên bản lớp của chúng. Tuy nhiên, tôi không thể tìm thấy cách chạy một hàm với đối số được tạo ra TH. {

7Nhiệt

1Trả lời

Tại sao mẫu Haskell cho phép các hoạt động IO tùy ý trong quá trình biên dịch?

Vì tôi đang cố gắng tìm hiểu về TH Tôi phát hiện ra rằng nó cho phép các hành động tùy ý IO trong quá trình biên dịch (xem What's so bad about Template Haskell?). Điều này có vẻ khá nguy hiểm đối với

7Nhiệt

2Trả lời

lấy tên hàm bên trong nó

Tôi có một loạt các chức năng như: method1, method2, method3. Đối với tất cả chúng có các hàm kiểm tra HUnit như: testMethod1, testMethod2, testMethod3. testMethod1 = TestCase $ assertEqual "test

10Nhiệt

1Trả lời

cụ thể hóa một module vào một kỷ lục

Giả sử tôi có một mô-đun tùy ý module Foo where foo :: Moo -> Goo bar :: Car -> Far baz :: Can -> Haz nơi foo, bar, và baz được thực hiện một cách chính xác, vv Tôi muốn cụ thể hóa mô-đun này vào

7Nhiệt

1Trả lời

Có cách nào để phát sinh các trường hợp nhị phân cho các loại bản ghi Vinyl sử dụng Derive và Template Haskell hay không

Tôi đã thử sử dụng loại Vinyl package, sử dụng loại mức loại để tạo cấu trúc bản ghi với đa hình cấp trường và ống kính được cung cấp tự động. Cả hai tính năng này sẽ rất tiện dụng cho dự án của tôi,

5Nhiệt

2Trả lời

Mẫu Haskell có thể tạo ra các cá thể kiểu chữ nổi đa param không?

mới nhất (2.8.0.0) định nghĩa cho Dec có constructor dụ sau: InstanceD Cxt Type [Dec] Có vẻ như là chỉ có một loại có thể được khởi tạo. Có cách nào để làm việc này?