Skip to main content

Research Repository

Advanced Search

Outside the block syndicate: Translating Faust's algebra of blocks to the arrows framework

Gaster, Benedict R.; Renney, Nathan; Mitchell, Tom

Authors

Benedict Gaster Benedict.Gaster@uwe.ac.uk
Associate Professor in Physical Computing

Tom Mitchell Tom.Mitchell@uwe.ac.uk
Professor of Audio and Music Interaction



Abstract

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.

Citation

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), Mainz, Germany

Presentation Conference Type Conference Paper (unpublished)
Conference Name Proceedings of the 1st International Faust Conference (IFC-18)
Conference Location Mainz, Germany
Start Date Jul 17, 2018
End Date Jul 18, 2018
Acceptance Date May 9, 2018
Publication Date Jul 17, 2018
Deposit Date Jun 8, 2018
Publicly Available Date Mar 28, 2024
Peer Reviewed Peer Reviewed
Keywords audio, dsp, programming languages, arrows, theory, type theory
Public URL https://uwe-repository.worktribe.com/output/864391
Additional Information Title of Conference or Conference Proceedings : Proceedings of the 1 st International Faust Conference (IFC-18)


You might also like



Downloadable Citations