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

Tôi hiểu rằng đơn nguyên ST giống như một đứa em trai nhỏ của IO, đến lượt nó là đơn nguyên nhà nước có thêm RealWorldphép thuật. Tôi có thể hình dung tiểu bang và tôi có thể hình dung rằng RealWorld được bằng cách nào đó đưa vào IO, …

77 haskell  monads 

Lưu ý cho những người đóng góp tiềm năng khác: Vui lòng sử dụng ký hiệu trừu tượng hoặc toán học để đưa ra quan điểm của bạn. Nếu tôi thấy câu trả lời của bạn không rõ ràng, tôi sẽ yêu cầu làm sáng tỏ, nhưng nếu không, hãy …

76 haskell  polymorphism  parametric-polymorphism 

Tôi đang chơi với Haskell mới bắt đầu và tôi muốn viết một hàm trung bình. Nó dường như là điều đơn giản nhất trên thế giới, phải không? Sai lầm. Có vẻ như hệ thống kiểu của Haskell cấm trung bình làm việc trên một kiểu số chung - …

76 haskell  types  typeclass 

Theo hiểu biết của tôi, các hàm một phần là các hàm mà chúng ta có được bằng cách chuyển ít tham số hơn cho một hàm so với dự kiến. Ví dụ: nếu điều này là hợp lệ trực tiếp trong Python: >>> def add(x,y): ... return x+y ... …

55 python  haskell  functional-programming  partial-application  partial-functions 

Tôi hiện đang làm việc với một trình thông dịch đơn giản cho ngôn ngữ lập trình và tôi có kiểu dữ liệu như thế này: data Expr = Variable String | Number Int | Add [Expr] | Sub Expr Expr Và tôi có nhiều chức năng làm những việc …

50 haskell  functional-programming  dry  code-duplication  recursive-type 

Tôi đã gặp một vấn đề thẩm mỹ nhỏ trong dự án âm nhạc của mình và nó đã làm tôi khó chịu một thời gian. Tôi có một loại data Key = C | D | ...và tôi có thể xây dựng Scaletừ a Keyvà a Mode. Sự Modekhác …

39 haskell  dsl 

Trong mô-đun System.Infotôi thấy các chức năng này: os :: String arch :: String compilerName :: String compilerVersion :: Version Tại sao không IOcó ở đó? Họ đang truy cập hệ thống ... Tôi có sai không? Kỳ vọng của tôi là một cái gì đó như: os :: IO …

25 haskell 

Giả sử tôi có một tham số chỉ tồn tại vì lợi ích của hệ thống loại, ví dụ như trong chương trình nhỏ này: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a …

22 haskell  phantom-types 

Tôi đang học Ứng dụng của Haskell. Dường như với tôi (có lẽ tôi đã sai) rằng purechức năng này không thực sự cần thiết, ví dụ: pure (+) <*> [1,2,3] <*> [3,4,5] có thể được viết như (+) <$> [1,2,3] <*> [3,4,5] Ai đó có thể giải thích lợi …

19 haskell  applicative 

Câu hỏi này không chủ quan. Một động từ rất cụ thể được sử dụng trong cuốn sách được tham khảo và tôi muốn hiểu ý nghĩa của cụm từ đó là gì, bởi vì tôi sợ tôi hiểu nhầm điều gì đó. Từ Tìm hiểu bạn một Haskell , …

18 haskell 

Đề xuất (P -> Q) -> Qvà P \/ Qlà tương đương. Có cách nào để chứng kiến ​​sự tương đương này trong Haskell: from :: Either a b -> ((a -> b) -> b) from x = case x of Left a -> \f -> f a Right b …

18 haskell  logic 

Đối với tôi có vẻ như bạn luôn có thể truyền các đối số hàm thay vì sử dụng một kiểu chữ. Ví dụ, thay vì xác định kiểu chữ bình đẳng: class Eq a where (==) :: a -> a -> Bool Và sử dụng nó trong các hàm …

16 haskell  functional-programming  higher-order-functions 

Câu hỏi này là một câu hỏi lý thuyết về các hàm Haskell có thể lấy các đối số thuộc bất kỳ loại nào. Có sự khác biệt giữa cách thức chức năng với chữ ký loại của a -> b -> a và c -> a -> c được …

16 haskell  functional-programming 

Tôi hiện đang nghiên cứu Haskell và cố gắng hiểu một dự án sử dụng Haskell để thực hiện các thuật toán mã hóa. Sau khi đọc Learn You a Haskell for Great Good online, tôi bắt đầu hiểu mã trong dự án đó. Sau đó, tôi thấy tôi bị …

15 haskell  symbols  operator-keyword  as-pattern 

Như một bài tập, tôi đang viết một trình phân tích cú pháp cho Haskell từ đầu. Khi tạo ra từ vựng, tôi nhận thấy các quy tắc sau đây về Báo cáo Haskell 2010 : chữ số → ascDigit | uniDigit ascDigit → 0| 1| Sầu | 9 uniDigit …

15 haskell  syntax  language-lawyer  literals