Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ


Choose your language

InfoQ Homepage Presentations Dynamic Creation of Well-Typed DSL Expressions

Dynamic Creation of Well-Typed DSL Expressions



Pieter Koopman shows how to make dynamic editors for complex user inputs in iTask programs using dynamic types.


Pieter Koopman has been functional programming for more than thirty years. Recently he has been involved in Task Oriented Programing, TOP. The main TOP implementation is a DSL, called iTask embedded in Clean. To port TOP to the tiny device driving the IoT, a separate DSL is needed that can be compiled to programs with a very small footprint. This DSL is called mTask and also embedded in Clean.

About the conference

For two days you are at the centre of the functional programming world. It is a place where academia meets industry, where research and practical application collide.

Recorded at:

Aug 03, 2020