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.