什么是计算机科学背景下的超功能？

Question

在箭头:计算的通用接口我发现了关于超级功能的简短说明:

奇怪的数据类型

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

可以显示为箭头[KLP01].

但是这篇论文的链接被打破了.

还有超函数的Hackage包.

两者都没有提供任何解释,说明它们是什么以及它们的属性是什么.

那么什么是超功能,它们如何有用以及它们的属性是什么？

---

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

^{我几乎不知道这个概念,我只是猜测来自Haskell/FP的当前引用的标签,随时纠正它们.}

Answer 1

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

抽象
从超函数A到B是无限嵌套函数类型的元素

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