Vít Šefl

PhD student researching typed FP

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 programming