Your current filters are…
You’ve probably heard about Haskell by now, but life is short, so why should you bother about yet another programming language? In this talk we’ll focus on three distinctive aspects of Haskell that you might make it worth the bother. First, purity: uncontrolled side effects are the bane of correctness, testing, and parallelism, and Haskell get them under control. Second, types: going well beyond the sterile static/dynamic debate, Haskell is an amazing cauldron of new ideas in types, and we’ll tell you why that matters. Last, domain specific languages: we all need them and no language makes it easier to develop and morph a DSL than Haskell. We hope you’ll go away at least provoked and intrigued.
In this talk Lennart will show how to implement a toy EDSL (Embedded Domain Specific Language) in Haskell.
First, we will look at how to get a typed DSL embedded in Haskell.
Second, we will consider executing such a language using an interpreter.
Finally, we will use the LLVM bindings to generate efficient code for the toy EDSL.
4th–6th December 2012