Folklore has it that Faust’s algebra of blocks can be represented in Hughes’ algebra of Arrows. In this paper we formalise this understanding, showing that blocks can indeed be encoded with Causal Commutative Arrows.
Whilst an interesting finding in itself, we believe that this formal translation opens up new avenues of research. For instance, recent work in functional reactive programming on well typed clocks, could provide an alternative to the dependent type approach proposed for multi-rate Faust.
Gaster, B. R., Renney, N., & Mitchell, T. (2018, July). Outside the block syndicate: Translating Faust's algebra of blocks to the arrows framework. Paper presented at Proceedings of the 1st International Faust Conference (IFC-18)