Metaprogramming is an approach to improving programs by treating program fragments (such as expressions or types) as values that the program can manipulate. Metaprogramming comes in various forms, including
staged programming: treating expressions as program values.
The execution of a staged program is spread over several phases, with each stage using the available data to generate specialized code.
Staged programming has a wide variety of applications — numeric computations, parsing, database queries, generic programming, domain specific languages, and many more. Precompiling the staged code can have dramatic performance improvements, in some cases an order of magnitude or more.
generic programming: treating types as program values.
Generic programming can improve code flexibility, allowing to give a single definition of a function that operates in a predictable (but not uniform) way on many different types.
Generic programming techniques can be used to define a wide variety of functions, including traversals, comparisons, pretty printers, serialization functions, and many more.
The goal of the summer school is to explore the state-of-the art in metaprogramming and its applications, covering both theory and practice.
Claim the event and start manage its content.I am the organizer