Lightning Talk: The Lambda Calculus in C++ Lambdas - David Stone - CppCon 2022

cppcon.org/
---
Lightning Talk: The Lambda Calculus in C++ Lambdas - David Stone - CppCon 2022
github.com/CppCon/CppCon2022
The lambda calculus is a foundation of computation equivalent in power to Turing machines.
---
David Stone
David Stone has worked on autonomous vehicles, large-scale distributed systems, and now works developing software for high-frequency trading. He is a member of the C++ Standardization Committee, where he chairs the Modules Study Group (SG2) and is the vice chair of the Evolution Working Group (EWG).
---
Videos Filmed & Edited by Bash Films: www.BashFilms.com
CZcams Channel Managed by Digital Medium Ltd events.digital-medium.co.uk
#cppcon #programming #lambda

[@FF_Fanatic]

What an absolute legend.

[@ultradude5410]

We’ve finally hit C++Fuck

[@sarthak290]

Gaining esoteric language status?

[@User-cv4ee]

What just happened? haha. I feel both confused and happy for some reason. Probably the energy of the speaker.

[@schiang]

Your presentation is a lot of fun. Thank you.

[@NonTwinBrothers]

That's some quality SIGBOVIK material right there

[@dexterman6361]

WHOA CRAZY. That's so cool!

[@JohnWilliams-gy5yc]

Looking forward to see some fun c++23 P0847 compiler abuses in lightning segment this year.

[@aleksandarnikolic2441]

WHAT A BRO!
WHAT A CHAD!

[@ilyapikulin2884]

Awesome!

[@allNicksAlreadyTaken]

I love this guy

[@Omnifarious0]

He had a transpiler. 🙂

[@dickheadrecs]

just like a *real* magician

[@raymitchell9736]

Modem C++ !? LOL

[@meekrab9027]

I presume it is a joke based on the Lambda calculus in which a convention dictates that λ r n becomes some function m

[@NicusorN5]

🤣

[@kai18763]

ha ha

[@ahbarahad3203]

What 😂