skip to main content
10.1145/3331543.3342582acmconferencesArticle/Chapter ViewAbstractPublication PagesicfpConference Proceedingsconference-collections
demonstration

Demo: functors and music

Published:23 August 2019Publication History

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.

References

  1. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  2. 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 ScholarGoogle ScholarCross RefCross Ref
  3. Paul Hudak. A sound and complete axiomatization of polymorphic temporal media, Report, 2008.Google ScholarGoogle Scholar
  4. Paul Hudak and David Janin. From out-of-time design to intime production of temporal media, Research Report LaBRI, 2015.Google ScholarGoogle Scholar
  5. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  6. Conor McBride and Ross Paterson. Applicative programming with effects, J. Funct. Prog. 18, pages 1-13, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Demo: functors and music

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in
      • Published in

        cover image ACM Conferences
        FARM 2019: Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design
        August 2019
        105 pages
        ISBN:9781450368117
        DOI:10.1145/3331543

        Copyright © 2019 Owner/Author

        Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 23 August 2019

        Check for updates

        Qualifiers

        • demonstration

        Acceptance Rates

        Overall Acceptance Rate19of23submissions,83%

        Upcoming Conference

        ICFP '24

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader