Vít Šefl is a PhD student at Charles University. The main topic of his research is lambda calculus and typed functional programming.
Template metaprogramming is an accidental feature of C++ that found its use in generic programming. However, writing metaprograms is error-prone and requires a great deal of boilerplate code. The talk explores how lambda calculus (and functional languages in general) can be used to address these problems.
OBJECTIVES: Present a new way of writing template metaprograms in C++ that is clear and concise and avoids confusing template compilation errors.
AUDIENCE: C++ programmers interested in functional programmingSlides