Comunicación monádica de objetos funcionales
-
Autores: Jose Enrique Gallardo Ruiz
, Pablo Guerrero García, Blas Carlos Ruiz Jiménez
- Localización: I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995 / José María Troya Linero (dir. congr.) , Casiano Rodríguez León (dir. congr.) , 1995, págs. 145-154
- Idioma: español
- Texto completo no disponible (Saber más ...)
-
Resumen
Exponemos un sistema basado en mónadas para la comunicación de procesos funcionales que permite describir sistemas reactivos usando el paradigma orientado a objetos. Los objetos se modelan como procesos (instancias Haskell de la mónada IO de Launchbury, Peyton Jones y Wadler) que son reducidos en evaluadores separados y pueden comunicarse a través de un manejador de buzones asíncronos vía evaluación no estricta de mensajes, que son a su vez no descritos en forma monádica , resultando una dotación cercana a la usualde la POO (Programación Orientada a Objetos); el asíncronismo y la evaluación no estrictan enriquecen el mecanismo de suspensión de procesos. El comportamiento que caracteriza una clase de objetos se describe por comprensión de mónadas, resultando un método flexible y expresivos(como muestran los ejemplos que acompañan). Se dan algunas ideas sobre como ampliar la comunicación monádica para describir un nuevo concepto que denominamos rendezvous perezoso.
