haskell

11Nhiệt

1Trả lời

'Kết quả' được thực hiện như thế nào trong FGL của Haskell là O (1)?

Trong Thư viện Graph chức năng của Haskell (FGL), hầu hết các thuật toán đồ thị phụ thuộc vào chức năng 'trận đấu', trong đó, được đưa ra một Node n và Graph g, trả c & g', nơi c là Context của n, và

71Nhiệt

1Trả lời

Mô-đun hiện tại xuất khẩu Haskell với mô-đun nhập bổ sung

Có thể viết mô-đun trong Haskell, tái xuất mô-đun ngoài việc xuất tất cả mọi thứ có thể nhìn thấy bên trong? Cho phép xem xét sau đây mô-đun: module Test where import A f x = x Module này xuất kh

21Nhiệt

4Trả lời

Làm cách nào để sử dụng chính xác Control.Exception.catch trong Haskell?

Ai đó có thể xin giải thích sự khác biệt giữa các hành vi trong ghci trong những cách sau để dòng: catch (return $ head []) $ \(e :: SomeException) -> return "good message" lợi nhuận "*** Exception:

8Nhiệt

1Trả lời

Ngăn chặn một số thông điệp biên soạn Haskell Alex/Happy

Khi tạo một trình phân tích cú pháp Lexer.x hoặc Parser.y bằng trình tạo lexer Alex hoặc trình tạo trình phân tích cú pháp hạnh phúc, biên dịch các tệp đó thành tệp Haskell và biên dịch chúng thành tệ

6Nhiệt

1Trả lời

Làm thế nào để làm việc xung quanh không có khả năng sử dụng ống kính với các loại tồn tại?

Tôi đang sử dụng ống kính thư viện Edward Kmett cho lần đầu tiên, và tìm thấy nó khá đẹp, nhưng tôi chạy vào một snag ... Câu hỏi tại [1] giải thích rằng quantifiers hiện sinh phá vỡ makeLenses. Tôi t

8Nhiệt

3Trả lời

Làm cách nào để thay đổi trình chỉnh sửa WinGHCi qua: trình chỉnh sửa bộ?

Tôi muốn sử dụng Notepad ++ thay vì Notepad làm trình soạn thảo GHCi gọi khi tôi nhập :edit. Có ai biết cách để làm điều này không? Tôi đã thử :set editor C:\Program Files (x86)\Notepad++ :set editor

13Nhiệt

2Trả lời

Có cách nào để giải quyết các từ đồng nghĩa loại trong haskell không?

Khi bạn tạo một loại đồng nghĩa với type, ghc/ghci sẽ sử dụng nó thay vì kiểu gốc bất cứ khi nào nó được sử dụng một cách rõ ràng, nhưng sẽ không bao giờ cố gắng làm việc ngược từ loại được suy ra đến

5Nhiệt

4Trả lời

Có thể thay đổi loại đơn nguyên theo một trình tự đơn sắc không?

Tôi biết nó có thể thay đổi kiểu bọc, do đó bạn có thể có f :: (a -> m b) g :: (b -> m c) f >>= g :: (a -> m c) nhưng là nó có thể thay đổi m? Nếu m là MonadError và được triển khai cả bởi Either

5Nhiệt

2Trả lời

Tổng quát toán tử số học

Nhân hai số có thể được định nghĩa theo thuật toán như sau: 'thêm số đầu tiên vào chính nó một số lần bằng giá trị của số thứ hai'. Số mũ lũy thừa của hai số có thể được định nghĩa theo thuật toán như

8Nhiệt

1Trả lời

Giải quyết các trường hợp trùng lặp trong thư viện bên ngoài

Tôi đang cố gắng show một số loại Tagged s b (Data.Tagged) trong mô-đun cũng nhập từ thư viện accelerate. Rất tiếc, thư viện tăng tốc xác định cá thể hiển thị instance Kit acc => Show (acc aenv a) whe