Tôi đã học Haskell trong vài tháng qua và gặp phải một tình huống liên quan đến monad mà tôi không biết cách xử lý. Tôi có một giá trị kiểu a -> ma và một giá trị thứ hai kiểu m (a -> a) và tôi cần kết hợp chúng.

Một functor có (a -> b) -> ma -> mb Một ứng dụng có f (a -> b) -> fa -> fb Một monad có ma -> (a -> mb) -> mb Nhưng có phần mở rộng không?

Tôi mới làm quen với Haskell và tôi tự hỏi liệu có cách nào tốt hơn Hoogle để xác định xem một hàm thư viện có trùng lặp hay không? Ví dụ: Tôi có nhiều hàm f::Monad a => a -> ma mà tôi muốn liên kết với nhau, như f123

Làm thế nào để kết hợp các mảng m, m, n chiều được lưu trữ trong một chuỗi danh sách thành một mảng m, m, n chiều duy nhất? Ví dụ: Dưới đây là ba danh sách chứa các mảng có m, m, n chiều: list1 <- array (1, dim = c(5, 5

Có cách nào để viết hàm f::(a -> b -> ... -> t) -> (Monad m => ma -> mb -> ... -> mt ) về cơ bản là liftMn đối với bất kỳ n nào không? (biên tập:

Tôi có một khung dữ liệu pandas như thế này: df = pd.DataFrame({'A':[1,3,2,9],'B':[2,1,2,7],'C':[7,2,4,6],'D':[8,1,6,4]},ind

Câu hỏi này xuất phát từ bài viết "Trivial Monad", địa chỉ: http://blog.sigfpe.com/2007/04/trivial-monad.html. Câu trả lời được cung cấp là hxy = x >>= (

Vậy thì >>= :: ma -> (a -> mb) -> mb và >> :: ma -> mb -> mb. Và fb -> fa. Nhưng tôi muốn thứ gì đó thực hiện ma -> (a -> mb)

đóng cửa. Câu hỏi này không đáp ứng được hướng dẫn của Stack Overflow. Hiện tại câu hỏi này không chấp nhận câu trả lời. Câu hỏi này có vẻ không liên quan đến lập trình trong phạm vi được xác định trong trung tâm trợ giúp. . Đã đóng cửa 3 năm trước. Cải thiện

Khi tôi cài đặt rakudo từ nguồn: $ git clone git@github.com:rakudo/rakudo.git $ cd rakudo $ perl Configure.pl --gen-mo

Tôi đang cố gắng cải thiện kỹ năng Idris của mình bằng cách xem một số bài tập trong Software Foundations (ban đầu được thiết kế cho Coq, nhưng tôi hy vọng bản dịch sang Idris không quá tệ). Tôi đang sử dụng "Bài tập:

Tôi tự hỏi liệu những điều sau đây có khả thi không. Khi trao đổi mật khẩu với máy chủ, bạn nên bảo vệ mật khẩu của mình. Do đó, người dùng có thể sử dụng khóa kUser được tạo để mã hóa mật khẩu. Encrypt(m, kUser) tạo ra thông điệp được mã hóa eU(m). Bây giờ người dùng gửi thông tin này đến

Có mối quan hệ nào tồn tại giữa hai bảng (1:1, 1:m, m:m, v.v.)? TẠO BẢNG NẾU KHÔNG TỒN TẠI `my_product` ( `id` int(11) KHÔNG NULL au

Có ai có thể giải thích ý nghĩa của các loại này và cách triển khai chúng không? lớp FoldF trong đó foldMap :: (Monoid m) => (a -> m) -> fa -> m Dựa trên https:

Ví dụ, trong ứng dụng MVC, tôi có thể sử dụng trình trợ giúp Html để tạo nhãn như thế này: @Html.LabelFor(m => m.ProductName) Tôi chưa khai báo biến "m" ở đâu cả, nhưng IDE sẽ tự động tìm ra biến đó.

Cập nhật: làm rõ hơn, tập trung rõ hơn và ví dụ ngắn hơn: Tôi có thể tránh quá tải M op+(M&&,M&&) không? Giả sử, tôi muốn xử lý RValues ​​một cách tốt đẹp? Tôi đoán là cần phải có thêm ba quá tải nữa. Lý do tôi sử dụng toán tử quá tải (&&,&&) trước tiên:

Giả sử tôi có một hàm lấy hai vectơ và trả về một số nguyên, ví dụ số phần tử trong một vectơ cũng có trong vectơ kia. Giống như: fm [,1] [,2] [,3] [1,] "c" "i" "c" [2,] "

Tôi muốn chuyển đổi chuỗi (phụ đề) thành: 585 00:59:59,237 --> 01:00:01,105 - Không sao đâu. - Anh ấy đã nhìn thấy chúng ta! 586 01:00:01,139 -->

đóng cửa. Câu hỏi này không đáp ứng được hướng dẫn của Stack Overflow. Hiện tại câu hỏi này không chấp nhận câu trả lời. Các câu hỏi yêu cầu mã phải chứng minh được sự hiểu biết tối thiểu về vấn đề đang được giải quyết. Bao gồm các giải pháp đã được thử nghiệm, lý do tại sao chúng không hiệu quả và

Có thể chuyển đổi các tệp lớn trong Linux từ dmY h:m:s sang Ydm h:m:s không? Dữ liệu mẫu "30.07.2016 00:00:00", DN123, PAPN, PAPN, TEST, 9189