Resumen de Comunicación monádica de objetos funcionales

Jose Enrique Gallardo Ruiz , Pablo Guerrero García, Blas Carlos Ruiz Jiménez

• 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.