什麼是計算機科學背景下的超函數？

Question

在Arrows: A General Interface to Computation我發現超函數此簡要說明：

怪異數據類型

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

可以示出爲箭頭[KLP01]。

但鏈接到紙張已損壞。

Hackage上還有hyperfunctions包。

既沒有提供任何解釋，它們是什麼以及它們的屬性是什麼。

那麼什麼是超功能，它們如何有用以及它們的屬性是什麼？

---

^{顯然相同的名稱使用完全不同的東西in the context of holomorphic functions}

^{正如我幾乎一無所知的概念，我只是猜測，從我目前的引用從哈斯克爾/ FP來的標籤，感覺自由糾正它們。}

Answer 1

我能找到的東西在這裏：http://www.citeulike.org/user/Benja/author/Launchbury:J

摘要從A到B是無限 嵌套函數類型

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