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

Question

在箭头：计算的通用接口中，我发现了关于超函数的简短评论：

奇怪的数据类型

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

可以显示为箭头[KLP01]。

但是论文的链接已损坏。

Hackage 上还有 hyperfunctions 软件包。

都没有提供任何关于它们是什么以及它们的属性是什么的解释。

那么什么是超功能，它们有什么用处以及它们的特性是什么？

---

^{显然相同的名称用于完全不同的东西在全纯函数的上下文中}

^{由于我对这个概念几乎一无所知，我只是从我当前来自 Haskell/FP 的参考文献中猜测了标签，请随时纠正它们。}

Answer 1

我可以在这里找到一些东西：http://www.citeulike.org/user/Benja/author/Launchbury:J

摘要
从

A

到

B

的超函数是无限的元素 嵌套函数类型

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