ghc

6Nhiệt

1Trả lời

Làm cách nào để buộc GHC thực hiện các cuộc gọi FFI nội tuyến?

Tôi đã thực hiện mô-đun C nhỏ để cải thiện hiệu suất, nhưng GHC không trực tiếp chức năng ngoại tuyến, và chi phí cuộc gọi loại bỏ gia tốc. Ví dụ, test.h: int inc (int x); test.c: #include "test.h"

13Nhiệt

1Trả lời

Làm thế nào để tối ưu hóa đúng chức năng MArray cho tốc độ?

Tôi đang làm việc theo số sorting library cho MArrays. Tốc độ là quan trọng, vì vậy tôi muốn tối ưu hóa nó càng nhiều càng tốt. Hiện tại, tôi chỉ đơn giản là INLINE chức năng sắp xếp. Điều này làm tăn

7Nhiệt

2Trả lời

GHC có loại bỏ sự đa hướng đa hình khi có thể không?

showInt :: Int -> String showInt x = show x Liệu các mã trên gọi show đi qua các từ điển Int hay nó gọi trực tiếp các chức năng công bố trên Show Int dụ? Ý tôi là, GHC có loại bỏ sự đa hướng đa hìn

11Nhiệt

1Trả lời

Về 'pseq' trong Haskell

Hãy xem xét hai câu sau đây: (a `par` b) `pseq` (a + b) và a `par` (b `pseq` (a + b)) Ai đó có thể giải thích hành vi của họ khác với nhau như thế nào? Đối với người đầu tiên, nếu chủ đề chính đã

8Nhiệt

2Trả lời

Tại sao không lười biếng

Tôi vẫn đang bắt đầu khám phá Haskell. Tôi biết mã này "chạy" trong đơn vị IO. Khi nó đi từ dòng l <- ... đến dòng tiếp theo, số IO - bind được gọi. Người ta có thể nghĩ rằng vì Haskell là lười biếng,

8Nhiệt

2Trả lời

Các hoạt động IO cấp thấp và Haskell

Các công cụ cấp thấp như ổ cắm, đường ống và tệp IO được triển khai trong Haskell như thế nào? Tôi đoán các phương pháp IO không phải là bản địa trong Haskell nhưng Haskell nhanh chóng kết thúc tốt đẹ

29Nhiệt

1Trả lời

Có thể sử dụng UndecidableInstances pragma tại địa phương có hậu quả toàn cầu về việc chấm dứt biên dịch không?

Giả sử một nhà thiết kế thư viện Haskell quyết định sử dụng UndecidableInstances vì một số lý do. Thư viện biên dịch tốt. Bây giờ giả sử một số chương trình sử dụng thư viện (như định nghĩa một số cá

6Nhiệt

1Trả lời

Rất lớn chuỗi trie trong Haskell

Tôi cần tải một vài triệu chuỗi ngắn (dài < 16) vào chuỗi trie trong Haskell từ tệp và sau đó thực hiện rất nhiều lần tra cứu rất nhanh. Cách tốt nhất để làm điều đó trong Haskell là gì? Sẽ đánh giá c

14Nhiệt

1Trả lời

Cách giải nén các trường nghiêm ngặt đi cùng với đa hình?

{-# UNPACK #-} pragma yêu cầu trình biên dịch loại bỏ các nhà thầu dự phòng. Trích dẫn Haskell wiki: Ví dụ, đưa ra này: data T = T {-# UNPACK #-} !(Int,Float) GHC sẽ đại diện cho loại T như thế này:

23Nhiệt

1Trả lời

Có thể làm cho GHC tối ưu hóa (deforest) các chức năng chung như catamorphisms?

Tôi thực sự thích ý tưởng về làm việc với catamorphisms/anamorphisms một cách chung chung, nhưng có vẻ như với tôi nó có một hiệu suất nhược điểm đáng kể: Giả sử chúng ta muốn làm việc với một cấu trú