¡Ir! | |
Fecha de la primera versión | 2003 |
---|---|
Paradigma | Programación concurrente |
Autor | Francis mccabe Keith clark |
Influenciado por | Prólogo |
Licencia | Licencia pública general GNU versión 2 |
¡Ir! es un lenguaje de programación concurrente , diseñado originalmente por Keith Clark y Francis McCabe en 2003. Está orientado a la necesidad de programar agentes de aplicación seguros y de nivel de producción. Es multiproceso, fuertemente tipado y de alto nivel (en el sentido de programación funcional). Tiene definiciones de relación, funciones y procedimientos de acción. Los subprocesos realizan procedimientos de acción, llamadas a funciones y consultas de relaciones según sea necesario. Los hilos de los diferentes agentes se comunican y coordinan entre sí mediante mensajes asincrónicos. Los hilos dentro del mismo agente también pueden usar relaciones dinámicas compartidas que actúan como registros de memoria.
Su naturaleza como un lenguaje de programación multi-paradigma, integrando estilos de programación lógica, funcional y orientada a objetos, se implementa particularmente en modelos basados en ontologías , tal como lo emplea la Web Semántica al permitir un sistema típico donde las clases OWL pueden ser representadas en la sistema de tipo. La concepción de Go !, según la encuesta de Bordini et al.
Desde el lanzamiento del lenguaje de programación de Google, Go! y Go se han convertido en objeto de una controversia sobre el nombre del idioma que no se resuelve en el12 de noviembre de 2009.
Los subprocesos dentro del mismo proceso Go! Y, por lo tanto, en el mismo agente, también pueden comunicarse mediante la manipulación de objetos relacionados dinámicamente, comparables a los registros de tuplas de Linda, utilizados para coordinar sus actividades.