IFL 2007 - Day 1

Today four different sessions took place at IFL'07: Compilation I, Applications I, Parallelism I and Types I. Some comments and learnings below:

• Jeroen Fokker: Essential Haskell Compiler, a talk about constructing a fully-fledged Haskell compiler in a very modular manner using a chain of transformations and generative technologies, nice for teaching, because modules are very specialized and concise, easy to add transformations


• Neil Mitchell: Supero, shows how to boost the runtime-performance of Haskell programs, Haskell programs can perform nearly as good as C programs although they are formulated on a far higher level


• Rinus Plasmeijer: i-Tasks, a library to compose workflows automatically providing the corresponding web interface, remembers me a little bit to the Synthesizer Generator of Reps and Teitelbaum that derives structured editors from data types or the Editor Combinators of Kahl et al.

People here are very nice so I am looking forward to my talk tomorrow!