ghc

5Nhiệt

1Trả lời

Làm thế nào để kết hợp các mẫu câu lệnh mẫu

Tôi đang cố gắng kết hợp trên nhiều hàm tạo khác nhau trong một câu lệnh case. Để đơn giản, giả sử trong một nửa số trường hợp chúng tôi làm điều tương tự, và trong nửa còn lại, chúng tôi làm điều gì

10Nhiệt

1Trả lời

Làm cách nào tôi có thể chuyển các tùy chọn RTS tới runghc?

Đối ghci, tôi có thể giới hạn ghci bộ nhớ có thể sử dụng bằng cách $ ghci +RTS -M10m -RTS Khi tôi biên dịch toàn bộ chương trình, tôi có thể $ ghc -rtsopts a.hs sau đó $ ./a +RTS -M10m Làm thế n

5Nhiệt

1Trả lời

Điều kiện biên dịch dựa trên endianness

Tôi đang đọc Word s từ mảng byte và cần phải thực hiện một số phần của mã của tôi endian-aware. Có GHC phơi bày bất cứ điều gì (như MachDeps.h) mà tôi có thể sử dụng để làm cho mã có điều kiện về endi

10Nhiệt

1Trả lời

Khi nào bộ thu gom rác chạy khi gọi Haskell xuất từ C?

Khi xuất khẩu chức năng Haskell được gọi từ C, khi nào rác của Haskell được thu thập? Nếu C sở hữu main thì không có cách nào để dự đoán cuộc gọi tiếp theo trong Haskell. Câu hỏi này đặc biệt thích hợ

15Nhiệt

1Trả lời

Biến Dict thành một ràng buộc

Tôi có một lớp Cyc c r có chức năng cho dữ liệu của biểu mẫu c m r, trong đó m là loại ma. Ví dụ: class Cyc c r where cyc :: (Foo m, Foo m') => c m r -> c m' r Tôi có lý do chính đáng để không

6Nhiệt

1Trả lời

cho phép TypeFamilies làm cho mã không được xây dựng nữa

Tôi có một mô-đun được mã hóa và hoạt động, tuy nhiên tôi không thể nhập hai chữ ký chức năng cho nó, vì để nhập chúng tôi phải bật phần mở rộng TypeFamilies cho mô-đun và khi tôi làm điều đó, nó khôn

8Nhiệt

1Trả lời

sự mặc định Generic trong Haskell

Với hai chức năng: f :: (A a, B b) => a -> b g :: (B b, C c) => b -> c Có cách nào (trong GHC) tôi có thể làm cho nó có thể viết: h x = g (f x) Mà không cần phải thêm một chữ ký kiểu cho f x , ví

6Nhiệt

2Trả lời

Chuyển đổi loại danh sách cấp thành giá trị

Mô-đun GHC.TypeLits hiện cung cấp natVal và symbolVal, cho phép chúng tôi nhận giá trị thời gian chạy từ loại Nat hoặc Symbol. Có cách nào để có được giá trị thời gian chạy loại [String] trong số loại

7Nhiệt

1Trả lời

GHC StablePointer equality reasoning

Tôi vừa biết về tính năng StablePointer của GHC, điều này thực sự tuyệt vời, nhưng tôi không thể hiểu tại sao nó không hiển thị mọi thứ như nhau. Đây là trường hợp thử nghiệm của tôi: -- Example 1 im

11Nhiệt

2Trả lời

Sự khác nhau giữa `ioToST` và 'unsafeIOToST` từ GHC.IO

Sự khác biệt và mục đích sử dụng có thể là gì đối với ioToST và unsafeSTToIO được xác định trong GHC.IO? -- --------------------------------------------------------------------------- -- Coercions b