ASYNCRFJ: an asynchronous approach to reactive object-oriented programming

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPESThe presence of reactive programming has been more common in current systems, one of the highlights of its use is the management of input data streams. In the reactive programming paradigm, a new value for the input stream can be seen as an event, which may cause changes in the program, so it needs to be properly propagated. In this work is discussed the creation of a reactive programming language implementing the object-oriented paradigm (OO), allowing manipulation of classes and objects, where reactive expressions and data are modeled as an extension for Featherweight Java (FJ). This language is formally defined through the operation semantics, creating the opportunity to be implemented in any language that provides closures. An interpreter for the formalized language is also presented, that includes lexical, syntactic and semantic analysis, with its focus on the type system to embed reactive programming concepts in a classical language, demonstrating the interaction between the two reviewed paradigms.A utilização de programação reativa tem se tornado cada vez mais comum em sistemas atuais, se destacando principalmente por conseguir manipular fluxos de dados de entrada. No paradigma de programação reativa, um novo valor no fluxo de dado pode ser visto como um evento, e um evento pode causar mudanças no programa, que devem ser devidamente propagadas. Nesta dissertação é discutida a criação de uma linguagem de programação reativa que utiliza-se do paradigma de orientação a objetos (OO), fornecendo a possibilidade de manipular classes e objetos, onde expressões e dados reativos são modelados como uma extensão da proposta Featherweight Java (FJ). Esta extensão é definida formalmente através da apresentação de sua semântica operacional, podendo ser implementada em qualquer linguagem de programação que forneça o mecanismo de closures. A formalização desta linguagem permitiu a criação de um interpretador, que implementa as fases de análise léxica, sintática e semântica, com foco especial no tratamento do sistema de tipos para embutir conceitos de computação reativa em uma linguagem clássica, demonstrando a interação entre os dois paradigmas de programação estudados