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

(Lấy cảm hứng từ câu trả lời của tôi cho câu hỏi này .) Xem xét mã này (phải tìm phần tử lớn nhất nhỏ hơn hoặc bằng một đầu vào đã cho): data TreeMap v = Leaf | Node Integer v (TreeMap v) (TreeMap v) deriving (Show, Read, Eq, …

9 haskell  lazy-evaluation  dry 

Tôi đang cố gắng xác định một họ các máy trạng thái với các loại trạng thái khác nhau. Cụ thể, các máy trạng thái "phức tạp" hơn có các trạng thái được hình thành bằng cách kết hợp các trạng thái của các máy trạng thái đơn giản hơn. …

9 haskell  state  monads  monad-transformers  state-monad 

Tại sao những điều này không tương đương? show $ if someCondition then someInt else some double và if someCondition then show someInt else show someDouble Tôi hiểu rằng nếu bạn tách riêng if ... elsephần trong ví dụ đầu tiên thành một biểu thức thì bạn không thể biểu …

9 haskell  compiler-construction  language-features  typechecking 

Tôi thực sự đang vật lộn với việc hiểu callCC. Tôi có được sức mạnh của Continuations và tôi đã sử dụng khái niệm này trong một số dự án của mình để tạo ra các khái niệm hay. Nhưng tôi chưa bao giờ cần phải sử dụng thứ gì …

9 haskell  functional-programming  monads 

Tôi đang cố gắng đặt một vài sơ đồ lại với nhau trong một loại bảng. Tôi nghĩ rằng đây được gọi là "in chỉ mục" , những người chụp ảnh làm điều đó khi họ phải xem lại nhiều bức ảnh cùng một lúc. Dù sao, đây là mã: …

9 haskell  haskell-diagrams 

Đã đóng cửa . Câu hỏi này cần được tập trung hơ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ó chỉ tập trung vào một vấn đề bằng cách chỉnh sửa bài đăng này . Đóng …

9 haskell  higher-order-functions  fold 

Tôi hiểu chức năng seq và tại sao cần phải giới thiệu tính nghiêm ngặt để đạt hiệu quả. Điều tôi không hiểu là, tại sao cái nguyên thủy này được gọi là seq(và không phải là thứ gì đó để làm với sự nghiêm ngặt)?

8 haskell  lazy-evaluation 

Được biết, các phép biến đổi tự nhiên với chữ ký loại a -> aphải là các hàm định danh. Điều này theo sau bổ đề Yoneda nhưng cũng có thể được bắt nguồn trực tiếp. Câu hỏi này yêu cầu cùng một tài sản nhưng cho hình thái đơn …

8 haskell  monads  category-theory 

Tôi quan tâm đến việc viết một hàm Haskell hiệu quả triangularize :: [a] -> [[a]], lấy một danh sách (có lẽ là vô hạn) và "tam giác hóa" nó thành một danh sách các danh sách. Ví dụ, triangularize [1..19]nên trả lại [[1, 3, 6, 10, 15] ,[2, 5, …

8 list  algorithm  haskell  functional-programming 

Tôi đang cố gắng chứng minh tính kết hợp của các danh sách cấp độ theo cách cho phép tôi chuyển đổi giữa các loại tương đương mà không mang theo bất kỳ ràng buộc nào. Giả sử định nghĩa chuẩn của phép nối: type family (++) (xs :: [k]) …

8 haskell  types 

Trong recursion-schemesgói các loại sau được định nghĩa: newtype Fix f = Fix (f (Fix f)) newtype Mu f = Mu (forall a. (f a -> a) -> a) Chúng có phải là đẳng cấu không? Nếu vậy, làm thế nào để bạn chứng minh điều đó?

8 haskell  recursion-schemes  fixpoint-combinators 

Các loại của bộ là cả monoidal cartoidian và cocartesian monoidal. Các loại của đẳng cấu chính tắc chứng kiến ​​hai cấu trúc đơn hình này được liệt kê dưới đây: type x + y = Either x y type x × y = (x, y) data Iso a b …

8 haskell  filter  monads  functor  category-theory 

Tôi đặt một ràng buộc trong kiểu đối số của hàm thay vì đặt kiểu của hàm. Tôi nghĩ rằng điều này sẽ cung cấp một lỗi cú pháp hoặc thêm thông tin vào loại hàm. Nhưng có vẻ như các ràng buộc hoàn toàn bị bỏ qua. {-# LANGUAGE …

8 haskell 

Tôi đang cố gắng tạo kiểu dữ liệu của riêng mình, đây sẽ là một phần của lớp Monad, nhưng newtype Container a = Container a deriving Monad cho tôi lỗi này: * Can't make a derived instance of `Monad Container' (even with cunning GeneralizedNewtypeDeriving): cannot eta-reduce the representation type …

8 haskell  instance  monads  newtype 

Vào Haskell, tôi đang cố gắng tái tạo một cái gì đó như định hình lại của numpy với các danh sách. Cụ thể, đưa ra một danh sách phẳng, định hình lại nó thành một danh sách n chiều: import numpy as np a = np.arange(1, 18) b = …

8 arrays  numpy  haskell