Kiama: Domain-Specific Languages for Language Implementation in Scala

Please log in to watch this conference skillscast.

In this talk we give an overview of our Kiama language processing library (https://code.google.com/p/kiama/) for Scala. Kiama-based programs use high-level domain-specific languages to describe structured input for parsing, static analysis of programs via attribute grammars, program transformation via rewriting, and output using pretty printing. We describe how Kiama works and illustrate some typical language processing tasks by implementing a version of the lambda calculus, the prototypical functional programming language.

YOU MAY ALSO LIKE:

• Getting Data Structures Right with GADTs and nested types (SkillsCast recorded in May 2013)
• co-log: Composable Contravariant Comonadic Logging Component (SkillsCast recorded in May 2019)
• Functional Programming in ... SQL? (SkillsCast recorded in May 2019)