Overview
The Yale Haskell Group has played an integral role in the conception, evolution, implementation, and application of the Haskell programming language. We have helped to write the Haskell Report, a tutorial on Haskell, and a popular textbook: The Haskell School of Expression (SOE).
Today the focus of our group is not only on advancing Haskell, but also on using it in interesting ways in research, education, and the real world. Most notably, we have used Haskell to construct a variety of domain-specific embedded languages (DSELs): languages that use Haskell as a framework within which to build abstractions specific to an underlying domain.
Many of our DSLs are based on a programming paradigm that we call Functional Reactive Programming, or FRP. We have used FRP as a basis for DSLs in animation, robotics, computer vision, graphical user interfaces, parallel programming, and computer music. We have also developed an arrow-based version of FRP called Yampa.
Other DSL's of interest include:
Haskore, a language for high-level music representation and composition.
Euterpea, a language that combines Haskore with low-level audio processing and sound synthesis capabilities. Euterpea is a central component of the Music Track in Yale's new Computing and the Arts major.
Nettle, a language for configuring network routers.
Pan#, a language of interactive functional images. (This is a .NET version of the original Pan system developed by Elliott, de Moor, and Finne.)
Acknowledgements
The Yale Haskell Group wishes to acknowledge the generous support of its funding agencies, including the National Science Foundation (NSF), the Defense Advanced Research Projects Agency (DARPA), and Microsoft Research.