Chức năng hyperfunctions trong bối cảnh khoa học máy tính là gì?

Question

Trong Arrows: A General Interface to Computation tôi thấy nhận xét này ngắn gọn về hyperfunctions:

Các datatype lạ

newtype Hyper b c = H (Hyper c b -> c) 

có thể được chứng minh là một mũi tên [KLP01].

nhưng liên kết đến giấy bị hỏng.

Ngoài ra còn có gói hyperfunctions trên Hackage.

Không cung cấp bất kỳ giải thích nào về chúng là gì và thuộc tính của chúng là gì.

Vậy các hyperfunctions là gì, chúng hữu ích như thế nào và các thuộc tính của chúng là gì?

---

^{Rõ ràng cùng tên được sử dụng cho một cái gì đó hoàn toàn khác nhau in the context of holomorphic functions}

^{Như tôi biết hầu như không có gì về khái niệm, tôi chỉ đoán các thẻ từ tài liệu tham khảo hiện tại của tôi đến từ Haskell/KHHGĐ, cảm thấy miễn phí để sửa chúng.}

Answer 1

tôi có thể tìm một cái gì đó ở đây: http://www.citeulike.org/user/Benja/author/Launchbury:J

Tóm tắt
Hyperfunctions A-B là những yếu tố của vô lồng loại chức năng

[A; B] = (((...) -> A) -> B) -> A) -> B: ...