u/mttdin r/ProgrammingLanguages • Recommends
Lightning Talk: Turing Completeness Is Overrated: and here's why - Ben Deane - CppNow 2022
0:00 / 0:00
#turingcompleteness#sub-turing#typetheory
Lightning Talk: Turing Completeness Is Overrated: and here's why - Ben Deane - CppNow 2022
CppNow
39K subscribers • 42 videos on Hallway • Conference channel
- Recommended by 1 person: 1 in engineering communities.
- Presented by Ben Deane
- An opinion. It argues one side of a question engineers disagree on.
Advanced. Deep dive for people who know the field.
2.7K views4 years ago1 recommendation
Programming languagesComputer scienceLanguage design and type systemsComputation and complexityFormal methods and verification
Ben Deane argues that Turing completeness is often unnecessary and that sub-Turing languages offer valuable guarantees for safety and predictability.
CppNow Website: cppnow.org CppNow Twitter: @CppNow --- Lightning Talk: Turing Completeness Is Overrated: and here's why - Ben Deane - CppNow 2022 --- Ben Deane presents this lightning talk, "Turing Completeness Is Overrated: and here's why", at the CppNow 2022 C++ conference held in Aspen, Colorado. --- Videos Filmed & Edited By Bash Films bashfilms.com/ YouTube Channel Managed By Digital Medium Ltd: events.digital-medium.co.uk #Boost #Cpp #CppNow