Còn mũi tên thì sao?

Question

Đọc qua các hướng dẫn khác nhau về các lớp học theo chủ đề khác nhau của Haskell, chúng tôi tìm thấy những thứ như Monoid, Functor, Monad và cứ thế - tất cả đều có hàng chục trường hợp. Nhưng vì một lý do nào đó, khi chúng tôi đạt đến Arrow, chỉ có hai trường hợp: chức năng và đơn vị. Trong cả hai trường hợp, sử dụng cá thể Arrow ít mạnh mẽ hơn và khó hơn là chỉ sử dụng trực tiếp nội dung cơ bản.

Có ai có bất kỳ thú vị nào về các mũi tên thú vị không? Tôi chắc chắn phải có một số, nhưng tôi đã không bao giờ đi qua bất kỳ văn bản về họ ...

Answer 1

HXT, một thư viện được sử dụng để phân tích cú pháp XML, là một ví dụ rất tốt cho việc sử dụng các mũi tên (có một cái nhìn thường xuyên từ Arrow xảy ra trong tên mô-đun của gói này!). Bạn sẽ có một cái nhìn về hướng dẫn tuyệt vời: http://adit.io/posts/2012-04-14-working_with_HTML_in_haskell.html

Nhưng cũng nên có khái niệm mũi tên cho các chức năng. Ví dụ mã

((+1) &&& (*2)) 3 -- result is (4,6) 

sau chỉ hoạt động, bởi vì (->) là một thể hiện của lớp mũi tên (Nhà điều hành &&& được định nghĩa trong Control.Arrow).

Nhờ có arrow syntax bạn cũng có một công cụ tuyệt vời để viết các tính toán phức tạp trong Haskell (nó hoạt động tốt cho các hàm, monads và bộ lọc XML trong HXT).

Answer 2

Tôi thích nghĩ về Arrow s dưới dạng biểu đồ tuần hoàn có thể kết hợp. Ví dụ, một mũi tên loại:

SomeArrow (a, b, c) (d, e, f) 

... bạn có thể nghĩ đến như một đồ thị có ba cạnh đến kiểu a, b và c và ba cạnh đi kiểu d, e, và f .

Sử dụng cách giải thích này, các hoạt động sáng tác thể loại cho Arrow s cũng giống như nối ngang cho đồ thị, kết nối các cạnh của họ với nhau:

(.) :: SomeArrow b c -> SomeArrow a b -> Some Arrow a c 

... nơi a, b và c có thể tự tuples. Tương tự như vậy, id chỉ là đồ thị sắc chuyển tiếp tất cả các cạnh đến để cạnh đi:

id :: SomeArrow a a 

Các hoạt động quan trọng khác là (***) mà cũng giống như nối thẳng đứng của đồ thị:

(***) :: Arrow a b -> Arrow c d -> Arrow (a, c) (b, d) 

Bạn có thể nghĩ rằng khi đặt hai đồ thị cạnh nhau, kết hợp các cạnh đầu vào và các cạnh đầu ra của chúng.

Vì vậy, Arrow thường phát sinh khi làm việc với các biểu đồ tuần hoàn có hướng được nhập. Tuy nhiên, lý do bạn thường không nhìn thấy chúng thường là bởi vì hầu hết mọi người liên kết tinh thần đồ thị với cấu trúc dữ liệu không được phân loại và hiệu suất cao.