Towards Reflection in an FRP Language for Small-Scale Embedded Systems
Takuo Watanabe, Kensuke Sawada · 2017
This paper describes a reflective extension to Emfrp, a functional reactive programming language designed for resource-constrained embedded systems. The primary purpose of introducing reflection is to provide a certain degree of flexibility and adaptability to the statically designed runtime system of the language. We propose a simple mechanism that allows accessing the internals of the runtime via time-varying values. Thus the reflective operations are also reactive. In this paper, we present a conceptual implementation idea towards the proposed reflection mechanism and show, as an example, an adaptive runtime that eliminates unnecessary evaluations.