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

Tôi đã làm dev ở F # một thời gian và tôi thích nó. Tuy nhiên, một từ thông dụng mà tôi biết không tồn tại trong F # là các loại từ khóa cao hơn. Tôi đã đọc tài liệu về các loại tốt hơn và tôi nghĩ tôi …

88 scala  haskell  types  f#  higher-kinded-types 

Đã đó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 để nó có thể được trả lời với các dữ kiện và trích dẫn bằng cách chỉnh sửa bài …

88 compiler-construction  haskell  ocaml  functional-programming 

Đoạn mã này Haskell chạy nhiều chậm với -O, nhưng -Onên không nguy hiểm . Bất cứ ai có thể cho tôi biết những gì đã xảy ra? Nếu nó quan trọng, đó là một nỗ lực để giải quyết vấn đề này và nó sử dụng tìm kiếm nhị …

87 haskell  optimization  ghc  compiler-bug 

Gần đây tôi đã hoàn thành một khóa học đại học có sử dụng Haskell và Agda (một ngôn ngữ lập trình hàm được đánh máy phụ thuộc) và đang tự hỏi liệu có thể thay thế phép tính lambda trong các phép tính này bằng logic tổ hợp hay …

87 haskell  types  functional-programming  logic  agda 

Tôi hơi bối rối trước tài liệu cho fix(mặc dù tôi nghĩ tôi hiểu nó phải làm gì bây giờ), vì vậy tôi đã xem mã nguồn. Điều đó khiến tôi bối rối hơn: fix :: (a -> a) -> a fix f = let x = f x in …

87 haskell  fixpoint-combinators  letrec 

Trong GHCi: Prelude> error (error "") *** Exception: Prelude> (error . error) "" *** Exception: *** Exception: Tại sao cái đầu tiên không phải là một ngoại lệ lồng nhau?

87 exception  haskell 

Khi biên dịch ứng dụng Haskell của tôi với -Walltùy chọn, GHC phàn nàn về các phiên bản mồ côi, ví dụ: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result Lớp kiểu ToSElemkhông phải của tôi, nó được định nghĩa bởi HStringTemplate . Bây giờ tôi biết cách khắc phục điều …

86 haskell  ghc  typeclass 

Tôi đang cố gắng hiểu toán tử dấu chấm đang làm gì trong mã Haskell này: sumEuler = sum . (map euler) . mkList Toàn bộ mã nguồn ở bên dưới. Sự hiểu biết của tôi Toán tử dấu chấm đang lấy hai hàm sumvà kết quả của map eulervà …

86 haskell  syntax  function-composition 

Làm cách nào tôi có thể lấy esqueleto để tạo chuỗi SQL từ một fromcâu lệnh? Tài liệu của toRawSqlnói rằng "bạn chỉ có thể bật ghi nhật ký truy vấn của liên tục". Tôi đã thử tất cả các dạng có thể MonadLoggermà tôi có thể hiểu được, nhưng …

86 haskell  yesod  esqueleto 

Đã cho : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Tôi muốn tạo Stringmột ví dụ về Fooable: instance Fooable String where toFoo = FooString GHC sau đó phàn nàn: Illegal instance declaration for …

85 haskell  ghc  typeclass  type-systems 

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 hy vọng 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 sự tranh …

85 haskell  programming-languages 

Tôi đã viết một đoạn nhỏ này của Haskell để tìm ra cách GHC chứng minh rằng đối với các số tự nhiên, bạn chỉ có thể giảm một nửa số chẵn: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data …

84 haskell  ghc  proof  haskell-platform  formal-verification 

Tôi thấy gorất nhiều khi đọc tài liệu hoặc nguồn của Haskell, nhưng tôi chưa bao giờ thực sự thoải mái về nó - (tôi đoán nó mang hàm ý tiêu cực của "goto" trong tâm trí tôi). Tôi bắt đầu học Haskell với LYAH, và đó là nơi tôi …

83 haskell  naming-conventions 

Thư viện chuẩn Haskell typeclasses MonadPlus, Alternativevà Monoidmỗi thứ cung cấp hai phương thức có ngữ nghĩa về cơ bản giống nhau: Một giá trị rỗng: mzero, empty, hoặc mempty. Một nhà điều hành a -> a -> amà gia nhập giá trị trong typeclass với nhau: mplus, <|>, hoặc …

83 haskell  functional-programming  typeclass  applicative  monoids 

Tôi đang tìm kiếm một số giải thích thực sự đơn giản, dễ hiểu về lược đồ đệ quy và lược đồ lõi (catamorphisms, anamorphisms, hylomorphisms, v.v.) mà không yêu cầu theo nhiều liên kết hoặc mở một sách giáo khoa lý thuyết danh mục. Tôi chắc chắn rằng tôi …

83 haskell  recursion  functional-programming  recursion-schemes