This free book explores the fundamentals of computer music and functional programming through the Haskell programming language. Functional programming is typically considered difficult to learn. This introduction in the context of creating music will allow students and professionals with a musical inclination to leverage their experience to help understand concepts that might be intimidating in more traditional computer science settings.
Conversely, the book opens the door for programmers to interact with music by using a medium that is familiar to them. Readers will learn how to use the Euterpea library for Haskell to represent and create their own music with code, without the need for other music software.
The book explores common paradigms used in algorithmic music composition, such as stochastic generation, musical grammars, self-similarity, and real-time interactive systems. Other topics covered include the basics of signal-based systems in Haskell, sound synthesis, and virtual instrument design.
This is a textbook on functional programming in Haskell, with a strong focus on computer music concepts and applications. The book describes Euterpea, a computer music library developed in Haskell, that allows programming computer music applications both at the note level and the signal level.
The book also teaches functional programming in Haskell from scratch. It is suitable for use in the classroom to teach functional programming concepts, Haskell language details, computer music and audio processing concepts and applications - or all of the above.
This open book is licensed under a Creative Commons License (CC BY). You can download The Haskell School of Music ebook for free in PDF format (4.1 MB).
Table of Contents
Computer Music, Euterpea, and Haskell
Polymorphic & Higher-Order Functions
A Musical Interlude
Qualified Types and Type Classes
Interpretation and Performance
Proof by Induction
An Algebra of Music
L-Systems and Generative Grammars
Random Numbers ... and Markov Chains
From Performance to Midi
Higher-Order Types and Monads
Musical User Interface
Sound and Signals
Euterpea's Signal Functions
Additive and Subtractive Synthesis
Amplitude and Frequency Modulation
The PreludeList Module
Haskell's Standard Type Classes
Built-in Types Are Not Special