Benedict Gaster Benedict.Gaster@uwe.ac.uk
Associate Professor in Physical Computing
Outside the block syndicate: Translating Faust's algebra of blocks to the arrows framework
Gaster, Benedict R.; Renney, Nathan; Mitchell, Tom
Authors
Nathan Renney Nathan.Renney@uwe.ac.uk
Lecturer in Computer Science
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
Studying how digital luthiers choose their tools
(2022)
Conference Proceeding
HyperModels - A framework for GPU accelerated physical modelling sound synthesis
(2022)
Conference Proceeding
Survival of the synthesis—GPU accelerating evolutionary sound matching
(2022)
Journal Article
Bespoke anywhere
(2021)
Conference Proceeding
Audio Anywhere with Faust
(2020)
Conference Proceeding
Downloadable Citations
About UWE Bristol Research Repository
Administrator e-mail: repository@uwe.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search