Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ


Choose your language

InfoQ Homepage Presentations Strongly Typed Domain Specific Embedded Languages

Strongly Typed Domain Specific Embedded Languages



In this presentation recorded at QCon SF 2008, Lennart Augustsson shows how to use Haskell with its programmable type system to create strongly typed Domain Specific Embedded Languages. The presentation makes an introduction of Haskell’s type system and illustrates several DSEL examples.


Lennart Augustsson was previously a lecturer at the CS Department at Chalmers University of Technology and currently works for Standard Chartered Bank. His research field is functional programming and implementations of functional languages. He is the author of the Cayenne programming language and the HBC Haskell compiler.

About the conference

QCon is a conference that is organized by the community, for the community.The result is a high quality conference experience where a tremendous amount of attention and investment has gone into having the best content on the most important topics presented by the leaders in our community. QCon is designed with the technical depth and enterprise focus of interest to technical team leads, architects, and project managers.

Recorded at:

Jun 25, 2009