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

Tôi đang cố gắng hiểu các loại Hiện sinh trong Haskell và tìm thấy một tệp PDF http://www.ii.uni.wroc.pl/~dabi/cifts/ZPF15/rlasocha/prezentacja.pdf Xin vui lòng sửa những hiểu biết dưới đây của tôi mà tôi có cho đến bây giờ. Các kiểu tồn tại dường như không quan tâm đến loại chúng chứa nhưng …

10 haskell  gadt  existential-type 

Với các ràng buộc định lượng tôi có thể rút ra Eq (A f)tốt không? Tuy nhiên, khi tôi cố gắng lấy Ord (A f) thì thất bại. Tôi không hiểu làm thế nào để sử dụng các ràng buộc được định lượng khi lớp ràng buộc có một siêu …

10 haskell  typeclass  derived-class  quantified-constraints 

Tôi nhìn thấy một hành vi rất kỳ lạ nơi Haskell của bracketchức năng là hành xử khác nhau tùy thuộc vào việc stack runhay stack testđược sử dụng. Hãy xem xét đoạn mã sau, trong đó hai dấu ngoặc lồng được sử dụng để tạo và dọn sạch các …

10 haskell  haskell-stack 

Gần đây tôi đã gặp phải tình huống cần chuyển một hàm vị ngữ sang một hàm khác và thông thường logic tôi đang tìm kiếm về cơ bản là "giá trị này có khớp với mẫu này không?" Kết hợp mẫu dường như được ưa thích trong khai báo, …

10 haskell 

Một sự thật đúng đắn về phép nối là nếu tôi biết bất kỳ hai biến nào trong phương trình: a ++ b = c Sau đó tôi biết thứ ba. Tôi muốn nắm bắt ý tưởng này trong concat của riêng tôi để tôi sử dụng một phụ thuộc …

10 haskell  typeclass  functional-dependencies  type-level-computation 

Gần đây, tôi bắt đầu học Haskell vì tôi muốn mở rộng kiến ​​thức về lập trình chức năng và tôi phải nói rằng tôi thực sự yêu thích nó cho đến nay. Tài nguyên tôi hiện đang sử dụng là khóa học 'Haskell Fund basicals Part 1' về Pluralsight. …

10 haskell 

Có 3 hàm được đưa ra dưới đây để tìm phần tử cuối cùng nhưng thứ hai trong danh sách. Người sử dụng last . initdường như nhanh hơn nhiều so với phần còn lại. Tôi dường như không thể hiểu tại sao. Để thử nghiệm, tôi đã sử dụng …

10 haskell 

Tôi hiện đang xử lý một chức năng như thế này: foo = (\(a:b:c:d:e:f:_) -> foobar a b c d e f) . (++ repeat def) Nói cách khác, được đưa ra một danh sách, nó sử dụng sáu yếu tố đầu tiên cho một cái gì đó, và nếu …

10 haskell  pattern-matching 

type BSTree a = BinaryTree a data BinaryTree a = Null | Node (BinaryTree a) a (BinaryTree a) deriving Show flattenTree :: BinaryTree a -> [a] flattenTree tree = case tree of Null -> [] Node left val right -> (flattenTree left) ++ [val] ++ (flattenTree right) isBSTree :: (Ord …

10 haskell  tree  binary-tree  binary-search-tree  predicate 

Tôi có mã này (phải thừa nhận là lạ) sử dụng ống kính và GHC.Records : {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Main where import Control.Lens import GHC.Records data Glass r = …

9 haskell  typeclass  typechecking 

Vấn đề Hãy xem xét các vấn đề thiết kế sau đây trong Haskell. Tôi có một EDSL đơn giản, tượng trưng trong đó tôi muốn biểu thị các biến và biểu thức tổng quát (đa thức đa biến) như x^2 * y + 2*z + 1. Ngoài ra, tôi …

9 haskell  casting  type-conversion  ghc  typeclass 

Kiểu chữ Applicativeđại diện cho functor đơn hình lỏng lẻo bảo tồn cấu trúc đơn hình cartesian trên danh mục các hàm được gõ. Nói cách khác, được đưa ra các đẳng cấu chính tắc chứng kiến (,)tạo thành một cấu trúc đơn hình: -- Implementations left to the motivated …

9 haskell  functor  applicative  category-theory 

Một mẫu mà tôi đã bắt gặp một số lần bây giờ là một mẫu trong đó một danh sách các giá trị cần được kiểm tra bằng cách ánh xạ một số thử nghiệm qua nó và xem liệu có bất kỳ hoặc tất cả các yếu tố được …

9 haskell  testing  concurrency  parallel-processing  any 

Tôi đã vấp phải một số điều khó chịu. Tôi biết rằng haskell hoạt động với hình thức bình thường đầu yếu (WHNF) và tôi biết đây là gì. Nhập mã sau vào ghci (Tôi đang sử dụng lệnh: sprint làm giảm biểu thức thành WHNF theo hiểu biết của …

9 haskell  functional-programming  ghci  reduction  weak-head-normal-form 

Tôi đang học Haskell và đang thực hiện một chương trình DB-seed đơn giản cho Yesod khi tôi tình cờ thấy hành vi này mà tôi thấy khó hiểu: testFn :: Int -> Bool -> [Int] testFn a b = if b then replicate 10 a else [] Phiên YesHC …

9 haskell  traversal