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

[Demo abstract] Sound and soundness: practical total functional data-flow programming

Published:03 September 2014Publication History

ABSTRACT

The field of declarative data-stream programming (discrete time, clocked synchronous, compositional, data-centric) is divided between the visual data-flow graph paradigm favored by domain experts, the functional reactive paradigm favored by academics, and the synchronous paradigm favored by developers of low-level systems. Each approach has its particular theoretical and practical merits and target audience. The programming language Sig has been designed to unify the underlying paradigms in a novel way. The natural expressivity of visual approaches is combined with the support for concise pattern-based symbolic computation of functional programming, and the rigorous, elementary semantical foundation of synchronous approaches. Here we demonstrate the current state of implementation of the Sig system by means of example programs that realize typical components of digital sound synthesis.

References

  1. G. Giorgidze and H. Nilsson. Switched-on Yampa: Declarative programming of modular synthesizers. In Practical Aspects of Declarative Languages (PADL 2008), volume 4902, pages 282--298. Springer, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. B. Trancón y Widemann and M. Lepper. Foundations of total functional data-flow programming. In N. Krishnaswami and P. B. Levy, editors, Mathematically Structured Functional Programming (MSFP 2014), volume 153 of EPTCS, pages 143--167, 2014.Google ScholarGoogle Scholar

Index Terms

  1. [Demo abstract] Sound and soundness: practical total functional data-flow programming

        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 '14: Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design
          September 2014
          80 pages
          ISBN:9781450330398
          DOI:10.1145/2633638

          Copyright © 2014 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: 3 September 2014

          Check for updates

          Qualifiers

          • demonstration

          Acceptance Rates

          FARM '14 Paper Acceptance Rate12of15submissions,80%Overall Acceptance Rate19of23submissions,83%

          Upcoming Conference

          ICFP '24

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader