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

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}

^{由于我对这个概念几乎一无所知，我只是猜测我当前引用的标签来自Haskell / FP，随时可以纠正它们。}

Answer 1

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

  

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

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