В Стрелки: общий интерфейс для вычислений Я нашел это краткое замечание о гиперфункциях:
Странный тип данных
newtype Hyper b c = H (Hyper c b -> c)может отображаться как стрелка [KLP01].
но ссылка на бумагу сломана.
Существует также hyperfunctions пакет для Hackage.
Ничто не объясняет, каковы они и каковы их свойства.
Итак, что такое гиперфункции, как они полезны и каковы их свойства?
Очевидно, одно и то же имя используется для чего-то совершенно другого в контексте голоморфных функций
Поскольку я почти ничего не знаю о концепции, я просто догадался, что теги из моих текущих ссылок, поступающих из Haskell/FP, не стесняются их исправлять.