Câu hỏi được gắn thẻ «haskell»

Trong F #, việc sử dụng toán tử chuyển tiếp ống dẫn |>, khá phổ biến. Tuy nhiên, trong Haskell, tôi chỉ từng thấy thành phần hàm (.), đang được sử dụng. Tôi hiểu rằng chúng có liên quan với nhau , nhưng có lý do ngôn ngữ nào khiến …

100 haskell  f#  functional-programming  composition 

Trong các ngôn ngữ hàm thuần túy như Haskell, có thuật toán nào để lấy nghịch đảo của một hàm, (chỉnh sửa) khi nó là bijective không? Và có một cách cụ thể để lập trình chức năng của bạn như vậy không?

100 haskell  clojure  functional-programming  ocaml 

Làm thế nào để mã hóa đoạn mã C này trong một tệp .chs để c2hs có thể biến đổi nó thành một thứ gì đó tương đối đẹp? typedef enum { MONOME_BUTTON_UP = 0x00, MONOME_BUTTON_DOWN = 0x01, MONOME_ENCODER_DELTA = 0x02, MONOME_ENCODER_KEY_UP = 0x03, MONOME_ENCODER_KEY_DOWN = 0x04, MONOME_TILT = 0x05, …

100 haskell  c2hs 

Tôi không chắc điều gì gây ra sự cố này, nhưng trong một dự án mà tôi đang xây dựng, trình biên dịch đang mất hàng giờ chỉ để biên dịch một mô-đun. Tổng kích thước của cơ sở mã của tôi là 352KB, nhưng không có mô-đun nào lớn …

100 haskell  switch-statement  pattern-matching  elm 

Trong khi cố gắng gỡ lỗi một vấn đề trong chương trình của tôi (2 vòng tròn có bán kính bằng nhau đang được vẽ thành các kích thước khác nhau bằng Gloss *), tôi tình cờ gặp một tình huống kỳ lạ. Trong tệp xử lý các đối tượng …

99 haskell  types 

Tôi đang cố gắng và không tìm được traversechức năng từ Data.Traversable. Tôi không thể nhìn thấy điểm của nó. Vì tôi đến từ nền tảng mệnh lệnh, ai đó có thể vui lòng giải thích cho tôi về vòng lặp mệnh lệnh được không? Mã giả sẽ được đánh …

99 haskell  traversal 

Đơn nguyên được lập chỉ mục là gì và động lực cho đơn nguyên này là gì? Tôi đã đọc rằng nó giúp theo dõi các tác dụng phụ. Nhưng chữ ký kiểu và tài liệu không dẫn tôi đến bất cứ đâu. Ví dụ nào về cách nó có …

98 haskell  monads 

Làm cách nào để truy cập danh sách theo chỉ mục trong Haskell, tương tự như mã C này? int a[] = { 34, 45, 56 }; return a[1];

97 haskell 

Các absurdchức năng trong Data.Voidcó chữ ký dưới đây, nơi Voidlà loại logic không có người ở xuất khẩu bằng cách gói: -- | Since 'Void' values logically don't exist, this witnesses the logical -- reasoning tool of \"ex falso quodlibet\". absurd :: Void -> a Tôi biết đủ logic …

97 haskell  type-theory  curry-howard 

Mọi nơi tôi đã thử sử dụng map, fmapđều hoạt động tốt. Tại sao những người tạo ra Haskell lại cảm thấy cần một mapchức năng? Nó không thể chỉ là những gì hiện được gọi là fmapvà fmapcó thể bị xóa khỏi ngôn ngữ?

97 haskell 

Tôi mới học lập trình hàm và gần đây đang học tại Learn You a Haskell , nhưng khi tôi xem qua chương này , tôi đã gặp khó khăn với chương trình bên dưới: import Control.Monad.Writer logNumber :: Int -> Writer [String] Int logNumber x = Writer (x, ["Got …

97 haskell  monads 

Đọc qua bài báo kinh điển này , tôi bị mắc kẹt với các phép biến hình. Thật không may, phần này khá mỏng, và trang Wikipedia không nói bất cứ điều gì. Bản dịch Haskell của tôi là: para :: (a -> [a] -> b -> b) -> b …

96 haskell  recursion  functional-programming  higher-order-functions 

Có thể viết một mô-đun trong Haskell, mô-đun này tái xuất một mô-đun ngoài việc xuất mọi thứ hiển thị bên trong không? Hãy xem xét mô-đun sau: module Test where import A f x = x Mô-đun này xuất mọi thứ được xác định bên trong, vì vậy nó …

96 haskell  module  export 

Các khả năng, nếu có, để nhận tài liệu ngoại tuyến cho các thư viện lõi Haskell (và có thể nhiều hơn nữa) là gì? Đôi khi tôi mang theo máy tính xách tay của mình đến quán cà phê nơi không có wifi, và thật tuyệt khi có một …

94 haskell  offline-mode 

Tôi đã tạo một daemon sử dụng một dạng rất nguyên thủy ipc(telnet và gửi một Chuỗi có các từ nhất định theo một thứ tự nhất định). Tôi đã thoát khỏi nó và bây giờ đang sử dụng JSONđể chuyển tin nhắn đến Yesodmáy chủ. Tuy nhiên, có một …

93 json  haskell  exception-handling  yesod