The Haskell School of Expression - Hudack, Paul

. .

Résumé :
Teaches functional programming using Haskell and examples drawn from multimedia applications.

Biographie:
PAUL HUDAK is Professor of Computer Science at Yale University. He was instrumental in organizing and chairing the Haskell Committee, an international group of computer scientists who designed Haskell, a nonstrict, pure functional programming language. He is a cofounder and editor of the Journal of Functional Programming. He has published over 100 papers on the design and application of programming languages.

Hudak believes that programming languages should be pushed further in the direction of high-level abstractions, in which the programmer says less about the details of a computation and more about the problem specification itself. At the same time, he recognizes the need for smart compilation techniques to make such languages practical. His most recent interest is in applying these principles to multimedia technology, including computer music, graphics and animation, and robotics.

Sommaire:
1. Problem solving, programming and calculation; 2. A module of shapes: part I; 3. Simple graphics; 4. Shapes II: drawing shapes; 5. Polymorphic and higher-order functions; 6. Shapes III: perimeters of shapes; 7. Trees; 8. A module of regions; 9. More about higher-order functions; 10. Drawing regions; 11. Proof by induction; 12. Qualified types; 13. A module of simple animations; 14. Programming with streams; 15. A module of reactive animations; 16. Communicating with the outside world; 17. Rendering reactive animations; 18. Higher-order types; 19. An imperative robot language; 20. Functional music composition; 21. Algebraic properties of multimedia; 22. Interpreting functional music; 23. A tour of the prelude list module; 24. A Tour of Haskell's standard type classes.