Colloquium: Teaching Computational Abstractions through Musical Abstractions
Paul Hudak from Yale University will be talking in Hurst 101 at noon on October 21
Oct 21, 2013
from 12:00 pm to 12:50 pm
|Contact Name||John Peterson|
|Add event to calendar||
Teaching Computational Abstractions through Musical Abstractions
Instead of teaching programming with the usual myriad of standard data types – numbers, strings, trees, and so on – and the usual cast of standard algorithms – factorial, Fibonacci, concatenation, and so on – why not use something more interesting, such as music? Indeed, music has a strong mathematical basis, both at the sound level (scales, overtones, etc.) and at the note level (song form, harmonic structure, etc.). And it has a strong computational flavor, in the sense of algorithmic composition and music analysis. As part of the Computing and Arts major at Yale, we teach computational abstractions through music, using the pure, mathematically inspired, functional language Haskell. We not only capture standard notions of abstraction (repetition, recursion, data abstraction, and polymorphism), but also advanced ideas (such as lazy evaluation, monads, arrows, and type classes). In this talk many examples of this pedagogy will be demonstrated, both at the note level and the signal level. It will be a "show-by-example" talk – no knowledge of Haskell or music theory is assumed.
Paul Hudak is a Professor in the Department of Computer Science at Yale University. He has been on the Yale faculty since 1982, and was Chairman from 1999-2005. He received a BE from Vanderbilt University in 1973, an MS from MIT in 1974, and a PhD from the University of Utah in 1982. Professor Hudak helped to organize and chair the Haskell Committee, was co-Editor of the first Haskell Report in 1988, and has written a popular Haskell textbook. He has been a leader in the design of domain specific languages (embedded in Haskell) for a diverse set of applications, with a focus most recently on computer music and audio processing. With two of his colleagues, he designed the new Computing and the Arts major at Yale in 2009. Among his honors, Professor Hudak is an ACM Fellow, and is a recipient of an IBM Faculty Development Award and an NSF Presidential Young Investigator Award. In 2009 he was appointed Master of Saybrook College at Yale University.