什么是计算机科学背景下的超函数？

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: ...