YoVDO

Val: A Safe Language to Interoperate with C++

Offered By: CppCon via YouTube

Tags

Programming Languages Courses C++ Courses Type System Courses Compiler Design Courses Memory Safety Courses Generic Programming Courses Value Semantics Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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++.

Syllabus

Val: A Safe Language to Interoperate with C++ - Dimitri Racordon - CppCon 2022


Taught by

CppCon

Related Courses

Compilers
Stanford University via edX Build a Modern Computer from First Principles: Nand to Tetris Part II (project-centered course)
Hebrew University of Jerusalem via Coursera Compiler Design
Indian Institute of Technology, Kharagpur via Swayam Foundations to Computer Systems Design
Indian Institute of Technology Madras via Swayam Compiler Design
YouTube