filmov
tv
Lightning Talk: The Lambda Calculus in C++ Lambdas - David Stone - CppCon 2022
Показать описание
---
Lightning Talk: The Lambda Calculus in C++ Lambdas - David Stone - CppCon 2022
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).
---
#cppcon #programming #lambda
Lightning Talk: The Lambda Calculus in C++ Lambdas - David Stone - CppCon 2022
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).
---
#cppcon #programming #lambda
0:05:46
Lightning Talk: The Lambda Calculus in C++ Lambdas - David Stone - CppCon 2022
0:06:13
ElixirConf 2017 Lighting Talk - Lambda Calculus in 5 mintues - Mohd Maqbool Alam
0:06:07
HVM - automatically parallel functional programs - a Lightning Talk by Martin Janiczek | Lambda Days
0:36:14
Lightning Talk: Sophia Gold on An Intellectual History of Automatic Differentiation
0:06:20
Lightning Talk: Turing Completeness Is Overrated: and here's why - Ben Deane - CppNow 2022
0:05:31
Lightning Talk: The Decade Long Rewind: Lambdas in C++ - Pranay Kumar - CppCon 2022
0:05:55
Lightning Talk: How to Win at Coding Interviews - David Stone - CppCon 2022
0:05:10
Lightning Talk: Into the Lambdaverse - Weird C++ Lambda Shenanigans - Timur Doumler - CppNow 2023
0:41:32
Tomas Petricek - Would Aliens Understand Lambda Calculus - Code Mesh 2017
0:05:43
Lightning Talk: Curry-Howard Correspondence - Jefferson Carpenter - CppCon 2021
0:05:43
Lightning Talk: Cute Approach for Polymorphism in C++ - Liad Aben Sour Asayag - CppCon 2022
0:05:33
Lightning Talk: Best Practices Every C++ Programmer Needs to Follow - Oz Syed - CppCon 2022
0:03:58
ElixirConf 2017 Lightning Talk - Typespec, for the love of God! - Zac Barnes
0:06:15
Lightning Talk: Petalisp
0:01:34
Arrow Functions Lightning Talk - Simon Legg
0:02:57
Lightning Talk: Dependency Injection for Modern C++ - Tyler Weaver - CppCon 2022
0:06:59
Lightning Talk: Higher-Order Template Metaprogramming with C++23 - Ed Catmur - CppCon 2023
0:05:26
Lightning Talk: List - Kevlin Henney [C++ on Sea 2019]
0:05:03
Lightning Talk: Finding the Average of 2 Integers - Tomer Vromen - CppCon 2022
1:08:11
2021-12 Lightning Talks
0:05:16
Lightning Talks: -std=c++20 -- Will This C++ Code Compile? - Tulio Leao - CppCon 2022
0:38:11
Functional concepts in Smalltalk: The Y Combinator
0:03:40
Lightning Talk: The Future of C++ - Neil Henderson - CppCon 2022
0:05:15
Lightning Talk: History of Programming Languages - Brief, Incomplete & Mostly Wrong Jørgen Kval...
Комментарии