ghci

14Nhiệt

3Trả lời

Có cách nào trong ghci (hoặc ghc) để tìm loại suy luận của hàm cục bộ không? Ví dụ: nếu tôi có một hàm f l = map f' l where f' = (+1) là có một :t -like cách ghci để xem những gì các loại suy r

8Nhiệt

1Trả lời

Trong GHCi, tôi có thể sử dụng kết quả của biểu thức trước đó không?

Tôi đang thực hiện một số thử nghiệm trong GHCi và tôi có hoạt động chạy dài (5 phút) vừa phải mà tôi đang cố gắng điều chỉnh. Kết quả bắt đầu in ra một phần, và tôi thường có thể nói rằng thuật toán

22Nhiệt

3Trả lời

Dòng mã Haskell không biên dịch: "Ngữ cảnh kiểu dữ liệu bất hợp pháp"

Tôi không thể lấy dòng mã này được biên dịch trong Haskell nhưng nó hoạt động trên hệ thống của giáo sư của tôi. Tôi sử dụng phiên bản 7.6.2 ghci. data Eq a => Shape a = Shape a Chính xác hơn, đây l

10Nhiệt

1Trả lời

Sự khác biệt cho ncurses giữa giải thích và biên dịch Haskell?

Tôi gặp sự cố lạ với các hàm timeout và getch từ thư viện ncurses được sử dụng trong Haskell. Khi tôi sử dụng chúng từ GHCi hoặc runhaskell, chúng hoạt động như mong đợi - getch đợi số milisecond được

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

8Nhiệt

2Trả lời

nhập đủ điều kiện trong GHCI

Liệu có thể sử dụng tương đương "nhập đủ điều kiện" trong GHCI với mô-đun OWN của chúng tôi không? Một cái gì đó như :m + qualified Data.List mà tất nhiên không hoạt động. Cảm ơn.

5Nhiệt

1Trả lời

Instoid Monoid cho một loại

Tôi có một Loại trong Haskell để tạo Bản đồ có nhiều giá trị liên quan đến một khóa. Nếu tôi biên dịch đoạn mã sau: type Mapa k v = Map k [v] instance Monoid (Mapa k v) where --mempty :: Mapa k

7Nhiệt

2Trả lời

Tại sao thay đổi chữ ký sau khi chuyển nhượng

Chơi xung quanh trong ghci tôi có các biểu hiện sau: unlines . map (\(a,b) -> show a ++ " " ++ show b) Bây giờ khi tôi kiểm tra xem nó qua :t tôi nhận được: > :t unlines . map (\(a,b) -> show a ++ " "

9Nhiệt

1Trả lời

Xem định nghĩa Typeclass trong ghci cho một kiểu cụ thể

Có cách nào để xem định nghĩa Typeclass trong ghci cho một loại cụ thể không? Ví dụ, Maybe được định nghĩa như thế này: instance Functor Maybe where fmap f (Just x) = Just (f x) fmap f Nothi

16Nhiệt

1Trả lời

Tôi làm cách nào để tạo các ống kính từ một bản ghi trong GHCi

Tôi muốn chơi xung quanh với thư viện Lens một chút. Tôi đã tải nó vào GHCi và tạo ra một kiểu dữ liệu kỷ lục với dấu gạch thích hợp: > data Foo a = Foo {_arg1 :: Int, _arg2 :: [a]} Tôi muốn làm cho