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

Tôi đã đọc Real World Haskell , và tôi sắp kết thúc, nhưng một vấn đề về phong cách đã gây khó chịu cho tôi để làm với (.)và($) khai thác. Khi bạn viết một hàm là một thành phần của các hàm khác, bạn viết nó như sau: f …

129 haskell  coding-style  function-composition 

Các loại phương thức phụ thuộc, trước đây là một tính năng thử nghiệm, hiện đã được bật theo mặc định trong thân cây và dường như điều này dường như đã tạo ra sự phấn khích trong cộng đồng Scala. Thoạt nhìn, không rõ ràng điều này có thể …

127 scala  haskell  programming-languages  type-systems  dependent-method-type 

Tôi đã bắt gặp một đoạn mã Haskell trông như thế này: ps@(p:pt) Không những gì @biểu tượng có ý nghĩa trong bối cảnh này? Tôi dường như không thể tìm thấy bất kỳ thông tin nào trên Google (thật khó để tìm kiếm các biểu tượng trên Google) và …

127 haskell  syntax 

Ngay cả các chương trình Haskell nhỏ tầm thường cũng biến thành các tệp thực thi khổng lồ. Tôi đã viết một chương trình nhỏ, được biên dịch (với GHC) thành nhị phân với kích thước mở rộng 7 MB! Điều gì có thể khiến ngay cả một chương trình …

127 haskell  linker  ghc  static-linking  glfw 

Thật dễ dàng để biểu diễn một cây hoặc danh sách trong haskell bằng cách sử dụng các kiểu dữ liệu đại số. Nhưng làm thế nào bạn sẽ đi về đại diện cho biểu đồ? Có vẻ như bạn cần phải có con trỏ. Tôi đoán bạn có thể …

125 haskell  types  graph  functional-programming  algebraic-data-types 

Tôi đang gặp phải hành vi kỳ quặc với tính năng tương tác-Haskell thay thế emacs. Khi tôi nguồn một tệp, emacsbộ đệm mini hiển thị một loạt các lời nhắc tương tác: Start a new project named 'myproject'? Cabal dir (guessed from myproject.cabal): Build target (empty for default): Set …

124 haskell  emacs  cabal  ghci 

Làm cách nào để tìm dung lượng bộ nhớ thực tế cần thiết để lưu trữ giá trị của một số kiểu dữ liệu trong Haskell (chủ yếu là với GHC)? Có thể đánh giá nó trong thời gian chạy (ví dụ: trong GHCi) hoặc có thể ước tính yêu …

124 haskell  memory-management  ghc  algebraic-data-types 

Mã cho hàm myAny trong câu hỏi này sử dụng trình gấp. Nó ngừng xử lý một danh sách vô hạn khi vị từ được thỏa mãn. Tôi đã viết lại nó bằng cách sử dụng gấp: myAny :: (a -> Bool) -> [a] -> Bool myAny p list = …

124 haskell  lazy-evaluation  combinators  fold 

Tôi đang học Haskell từ learningnyouahaskell.com . Tôi đang gặp sự cố khi hiểu các hàm tạo kiểu và các hàm tạo dữ liệu. Ví dụ: tôi không thực sự hiểu sự khác biệt giữa điều này: data Car = Car { company :: String , model :: String , …

124 haskell 

Đơn nguyên người đọc quá phức tạp và dường như vô dụng. Trong một ngôn ngữ mệnh lệnh như Java hoặc C ++, không có khái niệm tương đương cho đơn nguyên người đọc, nếu tôi không nhầm. Bạn có thể cho tôi một ví dụ đơn giản và làm …

122 haskell  monads  reader-monad 

Như hiện tại, câu hỏi này không phù hợp với định dạng Hỏi & Đáp của chúng tôi. Chúng tôi mong đợi câu trả lời sẽ được hỗ trợ bởi sự kiện, tài liệu tham khảo hoặc chuyên môn, nhưng câu hỏi này có thể sẽ thu hút các cuộc …

121 haskell  functional-programming 

Tôi từ lâu đã tự hỏi tại sao đánh giá lười biếng lại hữu ích. Tôi vẫn chưa có ai giải thích cho tôi theo cách có lý; chủ yếu là nó kết thúc để "tin tưởng tôi". Lưu ý: Ý tôi không phải là ghi nhớ.

119 haskell  functional-programming  lazy-evaluation 

Giả sử tôi có bản ghi ADT sau: data Foo = Bar { a :: Integer, b :: String, c :: String } Tôi muốn một hàm lấy một bản ghi và trả về một bản ghi (cùng loại) trong đó tất cả trừ một trong các trường có các …

118 haskell  record 

Tôi tò mò tại sao triển khai Haskell lại sử dụng GC. Tôi không thể nghĩ ra trường hợp GC sẽ cần thiết bằng một ngôn ngữ thuần túy. Nó chỉ là một tối ưu hóa để giảm sao chép, hay nó thực sự cần thiết? Tôi đang tìm mã …

118 haskell  garbage-collection 

Tôi đã lùng sục trên internet để tìm lời giải thích thực tế về chức năng của từ khóa này. Mọi hướng dẫn Haskell mà tôi đã xem chỉ bắt đầu sử dụng nó một cách ngẫu nhiên và không bao giờ giải thích nó làm gì (và tôi đã …

118 haskell  syntax