haskell

6Nhiệt

2Trả lời

Cabal không cài đặt ngôn ngữ Idris trên OSX Lion

Tôi đang cố cài đặt ngôn ngữ Idris trong OSX Lion bằng hướng dẫn cài đặt được cung cấp trên official tutorial. Tôi đã gỡ bỏ cài đặt GMP. Đây là lỗi tôi nhận được: $ cabal install idris Resolving depe

7Nhiệt

4Trả lời

Không có trường hợp nào cho (Hiển thị a0) phát sinh từ việc sử dụng `in 'Biến kiểu' a0 'là mơ hồ

data NestedList a = Elem a | List [NestedList a] flatten :: NestedList a -> [a] flatten (Elem element) = [element] flatten (List []) = [] flatten (List (first:rest)) = flatten first ++ flatten (Li

7Nhiệt

2Trả lời

Ổ đĩa danh sách Haskell trong Windows

Tôi có thể liệt kê các ổ đĩa trong Haskell bằng cách nào? Tôi muốn lấy các ký tự ổ đĩa trên Windows và chỉ nhận được "/" trên Linux. Có thể không? Tôi không thể tìm thấy nó ở bất cứ đâu.

9Nhiệt

1Trả lời

foldr vs sử dụng foldr1 trong Haskell

Nếu tôi viết: > let xs = [1,5,19,2,-3,5] > foldr max 0 xs 19 > foldr1 max xs 19 Và nếu tôi viết (Tôi biết, giá trị ban đầu là không chính xác vào đây để một chức năng tối đa generic ...): > let

14Nhiệt

3Trả lời

Có thể thực hiện `(Áp dụng m) => Áp dụng (StateT s m)`?

Tôi hiện đang làm việc theo số Data.Fresh và Control.Monad.Trans.Fresh. xác định một giao diện để tạo ra các biến mới, và một biến áp đơn lẻ thực hiện giao diện này. Tôi bước đầu nghĩ rằng có thể triể

11Nhiệt

2Trả lời

Làm thế nào để chuyển đổi giữa ByteString và Vector đáng yêu?

Cách tốt nhất để chuyển đổi giữa Storable.Vector Word8 và ByteString nghiêm ngặt là gì? Tất nhiên, cách thức không sao chép (không có) sẽ được đánh giá cao nhất. Tôi có nên chỉ unsafeCoerce hoặc có ch

12Nhiệt

2Trả lời

Tại sao GHC không tối ưu hóa cho các hằng số?

import Data.List a = foldl' (+) 0 [1..99999999] main = putStrLn $ show $ a Chương trình này mất một lúc để chạy. Nhưng a không phụ thuộc vào bất cứ điều gì và do đó là không đổi. Nó có thể được tí

7Nhiệt

1Trả lời

Newtype xung quanh ST gây loại lỗi

Khi tôi cố gắng để tải đoạn mã sau dưới GHC 7.4.1: {-# LANGUAGE RankNTypes #-} import Control.Monad.ST newtype M s a = M { unM :: ST s a } runM :: (forall s. M s a) -> a runM (M m) = runST m

10Nhiệt

2Trả lời

Nhược điểm đối với ScopedTypeVariables

Các nhược điểm cho ScopedTypeVariables, nếu có? Tại sao nó không được bật theo mặc định? Liệu nó dẫn đến suy luận tồi tệ hơn? Có trường hợp cạnh nào không? Việc triển khai GHC có khó khăn hơn không?

6Nhiệt

3Trả lời

Monads từ mọi góc độ - Toán học, sơ đồ và chương trình

Tôi đang cố gắng hòa giải định nghĩa Phân loại của Monad với các biểu diễn/định nghĩa chung khác mà tôi đã thấy trong một số hướng dẫn/sách khác. Dưới đây, tôi (có lẽ mạnh mẽ) cố gắng để mang lại hai