ABSTRACT
We present work-in-progress on two projects whose combination enables live coding music in Haskell: cnoidal, a library for representing and transforming music, and HyperHaskell, a Haskell interpreter with a worksheet interface and graphical output. The library represents music as a collection of time intervals tagged with values, a data structure known as temporal media. Parametric polymorphism suggests various functor instances, like Applicative Functor, which we find to be highly useful for live coding. However, a lawful Monad instance can only be defined for some variants of the data type. We stress that these projects are not a specialized music environment, instead we compose a library with a general purpose interpreter.
- Simon Archipoff, An Efficient Implementation of Tiled Polymorphic Temporal Media. In Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design, 2015. Google ScholarDigital Library
- Paul Hudak. An algebraic theory of polymorphic temporal media. In Proceedings of PADL'04: 6th International Workshop on Practical Aspects of Declarative Languages, pages 1-15, 2004.Google ScholarCross Ref
- Paul Hudak. A sound and complete axiomatization of polymorphic temporal media, Report, 2008.Google Scholar
- Paul Hudak and David Janin. From out-of-time design to intime production of temporal media, Research Report LaBRI, 2015.Google Scholar
- Mark P. Jones. Functional programming with overloading and higher-order polymorphism. In First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, 1995. Google ScholarDigital Library
- Conor McBride and Ross Paterson. Applicative programming with effects, J. Funct. Prog. 18, pages 1-13, 2007. Google ScholarDigital Library
Index Terms
- Demo: functors and music
Recommendations
Csound-expression: Haskell framework for computer music
FARM 2019: Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and DesignThe csound-expression library provides tools for sound design and electronic music composition. It embeds the powerful audio programming language Csound in Haskell, staying as close as possible to pure functional programming. In this paper we show and ...
FARM 2016 concert: live music and visuals produced through functional programming
FARM 2016: Proceedings of the 4th International Workshop on Functional Art, Music, Modelling, and DesignA concert of performances employing functional programming techniques will take place at FARM 2016 in Nara, Japan. Eight performances will be presented on a large full-range sound system with video projection on two walls. Performances will include ...
Music/lyrics composition system considering user's image and music genre
SMC'09: Proceedings of the 2009 IEEE international conference on Systems, Man and CyberneticsThis paper proposes a music/lyrics composition system consisting of two sections, a lyric composing section and a music composing section, which considers user's image of a song and music genre. First of all, a user has an image of music/lyrics to ...
Comments