Clasificación y comunicación de objetos en Concurrent Haskell

• Autores: Jose Enrique Gallardo Ruiz , Francisco Gutiérrez, Blas Carlos Ruiz Jiménez
• Localización: II Jornadas de informática. Actas: Almuñécar (Granada), 15 al 19 de julio 1996 / Buenaventura Clares Rodríguez (dir. congr.) , 1996, ISBN 84-8254-080-7, págs. 555-564
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • Presentamos un modelo que integra la concurrencia con los paradigmas de comunicación y la programación orientada a objetos en el marco de los lenguajes funcionales.

    Un objeto es un proceso funcional en un entorno concurrente y realiza acciones cuya secuenciación obedece a un comportamiento;la clasificación de objetos ( en la base a tal comportamiento) es capturada por una relación entre tipos utilizando el sistema de clases de Haskell (es posible instanciar, para tales relaciones, funciones que resuelvan la sobrecarga de un operador de envío de mensajes). El refinamiento de tales relaciones modera conceptos tales como la composición y la herencia. El sistema de tipos garantiza un paso seguro de mensajes.

    La implementación no estricta del paso de mensajes permite una forma de comunicación entre objetos que denominamos redezvous perezoso. Además, ampliamos la forma de comunicación: síncrona, a través de una construcción select al estilo de Ada, y asíncrona, con funciones adecuadas para inhabilitar la suspensión del objeto que emite un mensaje.