Val: A Safe Language to Interoperate with C++

Explore a conference talk from CppCon 2022 that introduces Val, a safe programming language designed to interoperate with C++. Discover how Val combines generic programming and first-class value semantics while enforcing safety by default. Learn about Val's strict mutable value semantics, its approach to generic definitions, and how it differs from C++ in terms of safety guarantees. Examine the potential for seamless integration between Val and C++, allowing developers to write fast and safe code that can call into C++ and vice versa. Gain insights into the speaker's background in computer science, his passion for type-based approaches to memory safety, and his research on developing a core calculus for a "safe by default" and "fast by definition" language that interoperates with C++.