haskell - 如何定义签名为 h::M Int -> M Int -> M Int 的函数，以便 h (M x) (M y) = M (x+y) 而不解开 monad？

In lại 作者：行者123 更新时间：2023-12-02 12:12:39 29 4

h x y = x >>= (\x -> g x y)

h :: W Int -> W Int -> W Int 
h x y = bind ( \x-> g x y ) x

g :: Int -> W Int -> W Int
g x y = y >>= (return . (+x))

h mx my = mx >>= (\x -> g x my)

29 4 0

• Giải pháp cho sự cố ConnectionrefusedtoHost:127.xxx/192.xxx/10.xxx gặp phải bởi JavaRMI

  Sự cố Khắc phục sự cố Bản ghi - Java RMI Kết nối bị từ chối lưu trữ: xxxx .... Khi học JavaRMI, tôi gặp phải tình huống sau Nguyên nhân:

• Tại sao `fx = xx` và `gx = xxxxx` có cùng kiểu

  Tôi đang thử nghiệm với Rank-N-type và cố gắng nhập xx. Nhưng tôi phát hiện ra rằng hai hàm này có thể được nhập theo cùng một cách, điều này không trực quan. f :: (cho tất cả a b. a -> b) -> cfx = xxg ::

• So sánh hai chuỗi phiên bản (4.xxx, 5.xxx)

  Câu hỏi này đã có câu trả lời: Làm thế nào để so sánh hai phiên bản String trong Java? (31 câu trả lời) Đã đóng 8 năm trước. Có ai biết cách so sánh hai chuỗi phiên bản trong Java không?

• x=20;x=++x++x + x++; giá trị cuối cùng của x trong java là 65

  Câu hỏi này đã có câu trả lời: Các toán tử tăng sau (i++) và tăng trước (++i) hoạt động như thế nào trong Java? (14 câu trả lời)

• Làm thế nào để lấy được địa chỉ IP mục tiêu đầy đủ (xxxx/x) bằng lệnh netstat?

  Sau đây là kết quả đầu ra của lệnh netstat với các tùy chọn -n và -r, trong đó trường đích hiển thị địa chỉ đã nén (127.1/16). Tôi muốn biết có phương pháp hoặc tùy chọn nào cho lệnh netstat để hiển thị toàn bộ IP đích (127.1.1.1) không?

• Làm thế nào để chứng minh rằng (∀ x, ¬ A x) → ¬ ∃ x, A x theo Nguyên lý tinh gọn?

  Tôi biết rằng để chứng minh: (¬ ∀ x, px) → (∃ x, ¬ px) thì chứng minh là: định lý : (¬ ∀ x, px) → (∃ x, ¬ px) := bắt đầu phần giới thiệu n

• x*x != x*x trong biến tự động?

  X * x thay đổi như thế nào khi lưu trữ trong "biến tự động"? Tôi nghĩ nó vẫn phải như vậy và thử nghiệm của tôi cho thấy loại, kích thước và giá trị rõ ràng đều giống nhau. Nhưng ngay cả x * x == (xx = x * x) cũng sai. Cái gì

• Làm thế nào để viết lại biểu thức x=>!x thành x=>x!=true và x=>x thành x=>x==true

  Giả sử, chúng ta diễn đạt nó như thế này: someIQueryable.Where(x => x.SomeBoolProperty) someIQueryable.Where(x => !x.SomeBoolProperty

• Tại sao công cụ biểu thức chính quy lại chọn khớp mẫu `.X|..X|X.` từ `..X`?

  Tôi có chuỗi 1234X5678 và tôi sử dụng biểu thức chính quy này để khớp với mẫu .X|..X|X. Tôi nhận được 34X. Câu hỏi đặt ra là tại sao tôi không nhận được 4X hoặc X5? Tại sao biểu thức chính quy lại chọn thực thi mẫu thứ hai? Câu trả lời hay nhất ở đây

• (x++ !== x) && (x++ === x); có thể trả về giá trị true không?

  Một người bạn của tôi đã gặp phải vấn đề này trong một cuộc phỏng vấn. Tìm giá trị của x khiến hàm trả về giá trị đúng. function f(x) { return (x++ !== x) && (x++ === x); } Người phỏng vấn

• Tại sao bản đồ thường = HashMap mới() thay vì HashMap = HashMap mới()?

  Câu hỏi này đã có câu trả lời ở đây: Đã đóng cách đây 10 năm. Có thể trùng lặp: Làm việc với foo có dễ hơn không khi nó được biểu diễn bằng b

• Phát triển ứng dụng Android cho nhiều phiên bản, tức là 1.x, 2.xx, 3.xx, 4.xx

  Tôi mới sử dụng Android và đang thực hành phát triển ứng dụng nhắm mục tiêu đến phiên bản 2.2 và tôi cần trợ giúp để hiểu cách mở rộng ứng dụng của mình sang các phiên bản khác, tức là 1.x, 2.3.x, 3.x và 4.xx và một số tùy chọn khác cho độ phân giải màn hình

• sự nhầm lẫn mảng javascript giữa x = [x] && x.push(x) khi var x;

  Tại sao trường hợp 1 trả về: lỗi: TypeError: x không được xác định trên dòng... //trường hợp 1 var x; x.push(x); console.log(x);

• Sự khác biệt giữa x += x và x = x + x trong Python list python list

  Mã đầu tiên: # CASE 01 def test1(x): x += x print xl = [100] test1(l) print l CASE01 Đầu ra: [100, 100

• Cách xác định Big O của một vật trông như thế này: (x - 1) + (x - 2) + (x - 3) . .. (x - x)

  Tôi đang cố gắng trau dồi khả năng tính toán lớn của mình. Nếu tôi có hàm di chuyển tất cả các mục 2 khoảng cách sang bên phải của 'i', tôi có công thức trông như thế này: (n -1) + (n - 2) + (n - 3) ... (n - n) Đối với lần lặp đầu tiên, tôi phải

• Tính toán phạm vi IP từ chuỗi IP bằng xxxx/x

  Với một chuỗi IP (như xxxx/x), làm thế nào để tôi hoặc tôi sẽ tính toán phạm vi của IP? Trường hợp phổ biến nhất có lẽ là 198.162.1.1/24 nhưng có thể là bất kỳ số nào, vì bất kỳ số nào cũng được pháp luật cho phép. Tôi muốn mang 198.162.1.1/

• Tại sao var x = x = x || {} lại toàn diện hơn var x = x || {}?

  Trong quá trình cố gắng viết mã Javascript sạch với tư cách là người mới bắt đầu, gần đây tôi đã đọc bài viết này về không gian tên trong JavaScript và tình cờ thấy đoạn văn này:

• var x = x || {}; so với x = window.x || {};

  Tôi đang viết một tập lệnh mà tôi không muốn làm ảnh hưởng đến phần còn lại của DOM, đó sẽ là tập lệnh của bên thứ 3 để thu thập một số dữ liệu phân tích cơ bản về khách truy cập. Tôi thường tạo một "không gian tên" giả với nội dung như sau: var x = x || {}; Tôi

• create_network(): Không thể phân bổ gateway (xxxx): Địa chỉ đã được sử dụng trong trường hợp thử nghiệm

  Tôi đã thử chạy bộ test_container_services.py của mình nhưng tôi gặp phải sự cố này: docker.errors.APIError: 500 Lỗi máy chủ: Lỗi máy chủ nội bộ (thông báo "b'{"

• "x as X != null" và "x is X" có luôn trả về cùng một kết quả không?

  Có tình huống nào mà hai câu lệnh if này tạo ra kết quả khác nhau không? if(x as X != null) { // Làm gì đó } if(x is X) { // Làm gì đó }