Что такое гиперфункции в контексте информатики?

В Стрелки: общий интерфейс для вычислений Я нашел это краткое замечание о гиперфункциях:

Странный тип данных
newtype Hyper b c = H (Hyper c b -> c)
может отображаться как стрелка [KLP01].

но ссылка на бумагу сломана.

Существует также hyperfunctions пакет для Hackage.

Ничто не объясняет, каковы они и каковы их свойства.

Итак, что такое гиперфункции, как они полезны и каковы их свойства?

^{Очевидно, одно и то же имя используется для чего-то совершенно другого в контексте голоморфных функций}

^{Поскольку я почти ничего не знаю о концепции, я просто догадался, что теги из моих текущих ссылок, поступающих из Haskell/FP, не стесняются их исправлять.}

Ответы

Ответ 1

Я мог бы найти что-то здесь: http://www.citeulike.org/user/Benja/author/Launchbury:J

Абстрактный
Гиперфункции от A до B являются элементами бесконечно тип вложенной функции
[A; B] = (((...) -> A) -> B) -> A) -> B: ...