Chức năng chuỗi trong underscore.js có tạo ra một đơn nguyên không?

Question

Trong the chain documentation bạn tìm thấy:

Calling chain trên một đối tượng bao bọc sẽ gây ra tất cả các phương pháp tương lai gọi để trở về đối tượng bọc là tốt. Khi bạn đã hoàn thành việc tính toán , hãy sử dụng value để truy xuất giá trị cuối cùng.

Vì vậy, chức năng chain có tạo một đơn nguyên không?

Answer 1

Không, không phải là một đơn nguyên, mà là một comonad! Nó biến một hàm nhận một đối tượng được bao bọc và trả về một giá trị bình thường thành một hàm mà cả hai đều lấy và trả về một đối tượng được bao bọc. Là một loại chữ ký Haskell đó sẽ là:

(Wrapped a -> b) -> (Wrapped a -> Wrapped b) 

Các loại chữ ký của value là:

Wrapped a -> a 

Đây là chính xác những gì bạn cần cho một comonad. Hàm đầu tiên thường được gọi là extend và hàm thứ hai extract.

Bạn có thể nghĩ một comonad là một giá trị với một số ngữ cảnh bổ sung. Và đó là tất nhiên chính xác những gì chain nào.

Xem this Stackoverflow question để biết thêm về tình trạng hôn mê.