Ralf Lämmel - An interpreter for every season

Wir freuen uns Ralf Lämmel in Frankfurt zu begrüßen! Wer kennt nicht HList, die streng typisierten heterogenen Kollektionen. Ralf ist einer der Co-Autoren dieses wegweisenden Papers ( http://okmij.org/ftp/Haskell/HList-ext.pdf ) und mir ist in diesem Zusammenhang der Name präsent geblieben. Natürlich hat Ralf noch sehr, sehr viel mehr gemacht, seine aktuelle Home Page könnt Ihr hier finden: http://softlang.wikidot.com/rlaemmel:home.

Der Abstract für seinen Vortrag:

Language interpreters may be programmed in various styles serving various purposes. In this presentation, I organize styles and purposes of language interpreters by using Haskell as the metalanguage and a small set of toy languages (imperative, functional, domain-specific modeling languages) as object languages. I cover the topics of small- versus big-step style, compositional style, direct versus continuation style, concrete versus abstract interpretation, and total versus partial interpretation. In this manner, interpretation is presented as the conceptual framework of choice for problems much beyond plain program evaluation or execution, namely I show interpretation of kinds also serves program analysis and program optimization. This talk does not reveal any news; it packages folklore of programming language theory and implementation in an accessible manner targeted at a Haskell-friendly audience. The material is drawn from the upcoming book by the speaker: http://www.softlang.org/book (Software languages: Syntax, semantics, and metaprogramming).