Skip to main content

Funky Grooves: Declarative Programming of Full-Fledged Musical Applications

  • Conference paper
  • First Online:
Practical Aspects of Declarative Languages (PADL 2017)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 10137))

Included in the following conference series:


There are many systems and languages for music that essentially are declarative, often following the synchronous dataflow paradigm. As these tools, however, are mainly aimed at artists, their application focus tends to be narrow and their usefulness as general purpose tools for developing musical applications limited, at least if one desires to stay declarative. This paper demonstrates that Functional Reactive Programming (FRP) in combination with Reactive Values and Relations (RVR) is one way of addressing this gap. The former, in the synchronous dataflow tradition, aligns with the temporal and declarative nature of music, while the latter allows declarative interfacing with external components as needed for full-fledged musical applications. The paper is a case study around the development of an interactive cellular automaton for composing groove-based music.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others


  1. 1.

  2. 2.

  3. 3.

  4. 4.

  5. 5.

  6. 6.


  1. Baudart, G., Mandel, L., Pouzet, M.: Programming mixed music in ReactiveML. In: 1st Workshop on Functional Art, Music, Modeling and Design (FARM), Boston, USA, pp. 11–22. ACM, September 2013

    Google Scholar 

  2. Berry, G.: Formally unifying modeling and design for embedded systems - a personal view. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 134–149. Springer, Heidelberg (2016). doi:10.1007/978-3-319-47169-3_11

    Chapter  Google Scholar 

  3. Boulez, P.: Penser la musique aujourd’hui. Gallimard, Paris (1964)

    Google Scholar 

  4. Burton, M.: The reacTogon: a chain reactive performance arpeggiator (2007).

  5. Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.A.: LUSTRE: a declarative language for programming synchronous systems. In: 14th Symposium on Principles of Programming Languages (POPL). ACM, New York (1987)

    Google Scholar 

  6. Cont, A.: Antescofo: anticipatory synchronization and control of interactive parameters in computer music. In: International Computer Music Conference (ICMC), Belfast, Ireland, pp. 33–40, August 2008

    Google Scholar 

  7. Cont, A., Anticipation, M.M.: From the time of music to music of time. Ph.D. thesis. University of California San Diego (UCSD) and University of Pierre et Marie Curie (Paris VI) (2008)

    Google Scholar 

  8. Elliott, C., Hudak, P.: Functional reactive animation. In: 2nd International Conference on Functional Programming (ICFP), pp. 163–173, June 1997

    Google Scholar 

  9. Giorgidze, G., Nilsson, H.: Switched-On Yampa. In: Hudak, P., Warren, D.S. (eds.) PADL 2008. LNCS, vol. 4902, pp. 282–298. Springer, Heidelberg (2007). doi:10.1007/978-3-540-77442-6_19

    Chapter  Google Scholar 

  10. Hudak, P., Quick, D., Santolucito, M., Winograd-Cort, D.: Real-time interactive music in Haskell. In: 3rd International Workshop on Functional Art, Music, Modelling and Design (FARM), Vancouver, BC, Canada, pp. 15–16. ACM, September 2015

    Google Scholar 

  11. Hughes, J.: Generalising monads to arrows. Sci. Comput. Program. 37, 67–111 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  12. Nilsson, H., Chupin, G.: The Arpeggigon: Declarative programming of a full-fledged musical application. Technical report, November 2016.

  13. Nilsson, H., Courtney, A., Peterson, J.: Functional reactive programming, continued. In: Haskell Workshop, Pittsburgh, PA, USA, pp. 51–64. ACM, October 2002

    Google Scholar 

  14. Paterson, R.: A new notation for arrows. In: International Conference on Functional Programming (ICFP), Firenze, Italy, pp. 229–240, September 2001

    Google Scholar 

  15. Perez, I., Nilsson, H.: Bridging the GUI gap with reactive values and relations. In: 8th ACM SIGPLAN Symposium on Haskell, Vancouver, Canada, pp. 47–58. ACM (2015)

    Google Scholar 

Download references


The authors would like to thank Ivan Perez and Henning Thielemann for support and advice with the reactive libraries and the Haskell JACK bindings respectively, Michel Mauny for co-supervising the second author’s summer internship with the Functional Programming Laboratory in Nottingham, and François Pessaux and anonymous reviewers for helpful feedback.

Author information

Authors and Affiliations


Corresponding author

Correspondence to Henrik Nilsson .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Nilsson, H., Chupin, G. (2017). Funky Grooves: Declarative Programming of Full-Fledged Musical Applications. In: Lierler, Y., Taha, W. (eds) Practical Aspects of Declarative Languages. PADL 2017. Lecture Notes in Computer Science(), vol 10137. Springer, Cham.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-51675-2

  • Online ISBN: 978-3-319-51676-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics