Temporal type constructors for computer music programming
Eli Brandt · University of Michigan Library Repository · 2000
This paper introduces temporal type constructors to computer music programming, and shows how they make languages more expressive.Music programming involves timestructured data types such as audio, MIDI, control signals, and streams of spectral frames.Each computer music language supplies some fixed set of these.Temporal type constructors are instead a way for the programmer to invent these kinds of data, with the ability to manipulate them and their elements.Algorithms expressed in this way can be remarkably brief and clear; FOF (Rodet, 1984) is given as an example.† (Absolute power is absolutely unimplementable.)