This video was recorded at the virtual Lambda Days conference, which took place on 16-19th February 2021 - https://www.lambdadays.org/lambdadays2021 More great virtual tech conferences - https://codesync.global​ --- Translating Lambda Calculus into C++ Templates by Vít Šefl ABSTRACT 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 --- SPEAKER - 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. --- Lambda Days Website: https://www.lambdadays.org​ Twitter: https://twitter.com/LambdaDays​