Tôi chỉ đọc bài đăng Creative uses of monads, đó là những ý tưởng và tham khảo rất thú vị, vì vậy tôi đã tò mò: còn mũi tên thì sao? Tôi không tìm kiếm ý kiến cá nhân hoặc tham chiếu về các khái niệm cơ bản hoặc sử dụng "chuẩn" (như trong monads vs arrows hoặc help understanding arrows in haskell), mà là danh sách tham chiếu đến các ứng dụng thông minh và/hoặc không tầm thường (có thể trong các tài liệu nghiên cứu?) . Cảm ơn.Sử dụng sáng tạo các mũi tên
mũi tên có thể được sử dụng cho an ninh:
Một bài báo rất thú vị bởi Li và Zdancewic (Encoding Information Flow in Haskell) sử dụng mũi tên để mã hóa luồng thông tin trong Haskell. I E. đề xuất của họ có thể đảm bảo rằng thông tin được phân loại không bị rò rỉ cho các quy trình mà không có các đặc quyền phù hợp.
Tsai et. al xây dựng trên công trình của Li và Zdancewic, và mở rộng nó sang môi trường đa luồng (A Library for Secure Multi-threaded Information Flow in Haskell). Họ thậm chí còn chứng minh làm thế nào nó có thể được sử dụng để ngăn chặn một số cuộc tấn công kênh phụ.
Một trong những mô-đun Haskell đầu tiên mà tôi từng viết là một loại mũi tên lượng tử bắt buộc với "sự sụp đổ sóng" bất cứ khi nào I/O được thực hiện. http://hackage.haskell.org/package/quantum-arrow
Tôi đã từng đọc một bài báo thú vị về việc sử dụng các mũi tên để xử lý âm thanh, nhưng bây giờ tôi không thể tìm thấy nó. – leftaroundabout