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

Trong khi giải thích cho ai đó loại lớp X là gì, tôi đấu tranh để tìm các ví dụ tốt về cấu trúc dữ liệu chính xác là X. Vì vậy, tôi yêu cầu các ví dụ cho: Một constructor kiểu không phải là Functor. Một hàm tạo kiểu …

209 haskell  monads  functor  applicative 

Đã đóng cửa . Câu hỏi này dựa trên ý kiến . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để có thể trả lời bằng sự kiện và trích dẫn bằng cách chỉnh sửa bài đăng này . …

204 haskell  operators 

Tôi biết bạn có thể chuyển đổi một Stringsố thành read: Prelude> read "3" :: Int 3 Prelude> read "3" :: Double 3.0 Nhưng làm thế nào để bạn lấy Stringđại diện của một Intgiá trị?

198 string  haskell  int  casting 

Cốt lõi là ngôn ngữ trung gian của GHC. Đọc Core có thể giúp bạn hiểu rõ hơn về hiệu suất của chương trình của bạn. Ai đó đã hỏi tôi tài liệu hoặc hướng dẫn về việc đọc Core, nhưng tôi không thể tìm thấy nhiều. Tài liệu nào …

193 performance  compiler-construction  haskell  ghc 

Sự khác biệt khi tôi viết này là gì? data Book = Book Int Int đấu với newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid

191 haskell  types  type-systems  newtype 

GHC có rất nhiều tối ưu hóa mà nó có thể thực hiện, nhưng tôi không biết tất cả chúng là gì, cũng như khả năng chúng được thực hiện như thế nào và trong hoàn cảnh nào. Câu hỏi của tôi là: những biến đổi nào tôi có thể …

183 optimization  haskell  ghc 

Có ít nhất ba thư viện phổ biến để truy cập và thao tác các lĩnh vực hồ sơ. Những cái tôi biết là: truy cập dữ liệu, fclabels và ống kính. Cá nhân tôi đã bắt đầu với trình truy cập dữ liệu và tôi đang sử dụng chúng …

173 data-structures  haskell  record  lenses 

Bất cứ ai cũng có thể đưa ra một số gợi ý về lý do tại sao các tính toán không tinh khiết trong Haskell được mô hình hóa thành các đơn nguyên? Ý tôi là monad chỉ là một giao diện với 4 thao tác, vậy lý do để …

172 haskell  functional-programming  monads 

Trong Haskell, sự khác biệt giữa an Intvà an là Integergì? Câu trả lời được ghi nhận ở đâu?

169 haskell  numbers  integer  int  bignum 

Có một cách tiêu chuẩn để phân chia một chuỗi trong Haskell? linesvà wordslàm việc tuyệt vời từ việc phân tách trên một không gian hoặc dòng mới, nhưng chắc chắn có một cách tiêu chuẩn để phân chia trên dấu phẩy? Tôi không thể tìm thấy nó trên Hoogle. …

163 string  haskell 

Tôi đã thấy một số nguồn tin lặp lại ý kiến ​​rằng "Haskell đang dần trở thành một ngôn ngữ được gõ phụ thuộc". Hàm ý dường như là với ngày càng nhiều phần mở rộng ngôn ngữ, Haskell đang trôi theo hướng chung đó, nhưng vẫn chưa có. Về …

161 haskell  type-systems  dependent-type 

Tình trạng lập trình đa lõi trong Haskell là gì? Những dự án, công cụ và thư viện hiện đang có sẵn? Những báo cáo kinh nghiệm đã có?

161 haskell  concurrency  functional-programming  multicore  parallel-processing 

Tôi đang cố gắng xác định bất kỳ hàm đơn giản nào kéo dài nhiều dòng trong ghci, lấy ví dụ sau đây làm ví dụ: let abs n | n >= 0 = n | otherwise = -n Cho đến nay tôi đã thử nhấn Enter sau dòng đầu …

161 haskell  ghci 

Đặc điểm ở Rust dường như ít nhất bề ngoài tương tự như typeclasses trong Haskell, người tuy nhiên tôi đã nhìn thấy viết rằng có một số khác biệt giữa chúng. Tôi đã tự hỏi chính xác những khác biệt này là gì.

157 haskell  rust  traits 

Vâng, những cái này : {-#LANGUAGE TypeOperators, RankNTypes #-} import Control.Morphism.Zygo import Control.Morphism.Prepro import Control.Morphism.Histo import Control.Functor.Algebra import Control.Functor.Extras import Control.Functor.Fix import Control.Comonad.Cofree zygohistomorphic_prepromorphism :: Functor f => Algebra f b -> GAlgebra f (ZygoT (Cofree f) b) a -> (f :~> f) -> FixF f -> a zygohistomorphic_prepromorphism f …

156 haskell  functional-programming  category-theory