haskell - ¿Qué son las hiperfunciones en el contexto de la informática?

functional-programming arrows

Question

En Flechas: una interfaz general para la computación , encontré esta breve observación sobre las hiperfunciones:

El tipo de datos raro

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

puede mostrarse como una flecha [KLP01].

Pero el enlace al papel está roto.

También hay un paquete de hyperfunctions en Hackage.

Tampoco proporciona ninguna explicación de lo que son y cuáles son sus propiedades.

Entonces, ¿qué son las hiperfunciones, cómo son útiles y cuáles son sus propiedades?

^{Aparentemente, el mismo nombre se usa para algo completamente diferente en el contexto de las funciones holomorfas}

^{Como no sé casi nada sobre el concepto, simplemente adiviné las etiquetas de mis referencias actuales provenientes de Haskell / FP, siéntase libre de corregirlas.}

Answer 1

Podría encontrar algo aquí: http://www.citeulike.org/user/Benja/author/Launchbury:J

Resumen
Las hiperfunciones de la A a la B son elementos del tipo de función anidada infinitamente

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