ghc

7Nhiệt

1Trả lời

Cho mã sau đây (được sao chép từ thư viện attoparsec) pragma nội tuyến làm gì? Tôi cho rằng nó chỉ có ý nghĩa đối với chỉ fmapR để được nội tuyến, chứ không phải là các khác fmap s được xác định trong

12Nhiệt

1Trả lời

Tôi có thể nhận được cảnh báo về chữ ký quá hạn chế không?

Công cụ GHC hoặc một số lint có thể cho tôi biết khi tôi đã cung cấp chữ ký loại cho một hàm có thể đa hình hơn không?

7Nhiệt

3Trả lời

Haskell: TVar: Ngăn chặn nạn đói

Tôi đang xem xét sử dụng TVar để lưu trữ một số trạng thái trong ứng dụng web (có thể được tạo lại khi khởi động lại). Tuy nhiên, các khía cạnh tranh chấp của TVar liên quan đến tôi. Dường như một gia

11Nhiệt

1Trả lời

Haskell: TVar: orElse

Phần "khác" của orElse được gọi là khi giao dịch được thử lại do một giao dịch khác viết cho TVar nó đã đọc hoặc chỉ khi được gọi là retry?

8Nhiệt

2Trả lời

Tại sao không forall (RankNTypes sử dụng) áp dụng theo mặc định?

Tôi không quá quen thuộc với forall, nhưng gần đây đọc câu hỏi này: What does the `forall` keyword in Haskell/GHC do? Trong một trong những câu trả lời là ví dụ này: {-# LANGUAGE RankNTypes #-} liftT

11Nhiệt

2Trả lời

Tôi có thể giúp SpecConstr trong GHC bằng cách nào?

Tôi đang sử dụng GHC 7.4.1 để cố gắng biên dịch chương trình sử dụng Repa. Nhưng trong quá trình biên soạn, tôi hết bộ nhớ. Với ghc -v, tôi có thể thấy rằng nó đang bị kẹt trong giai đoạn SpecConstr.

5Nhiệt

1Trả lời

UNPACKs lồng nhau trong GHC

Tôi thường thu thập nhiều giá trị trong bộ dữ liệu, vì tôi coi tuples là loại tự nhiên cho điều này. Tuy nhiên, tuples không nghiêm ngặt. Vì vậy, hãy xem xét data A data B = B !A data C =

8Nhiệt

1Trả lời

Tối ưu hóa tính toán một phần trong Haskell

tôi tò mò làm thế nào để tối ưu hóa mã này: fun n = (sum l, f $ f0 l, g $ g0 l) where l = map h [1..n] Giả sử rằng f, f0, g, g0, và h đều tốn kém, nhưng việc tạo ra và lưu trữ của l là cực kỳ đ

27Nhiệt

3Trả lời

GHC có thể không bao giờ bản đồ nội tuyến, scanl, foldr, v.v. không?

Tôi đã nhận thấy rằng GHC manual nói "đối với chức năng tự đệ quy, trình ngắt vòng lặp chỉ có thể là chính chức năng, vì vậy một pragma INLINE luôn bị bỏ qua". Không này nói mọi ứng dụng của cấu trúc

43Nhiệt

1Trả lời

Có lý do nào để không sử dụng pragma INLINABLE cho một chức năng không?

Các documentation trạng thái: Một {- # INLINABLE f # -} pragma trên một hàm f có các hành vi sau đây: Trong khi INLINE nói "xin vui lòng inline tôi", các INLINABLE nói "cảm thấy tự do để inline tôi, s