Type safety and type soundness are concepts in computer science that refer to the extent to which a programming language discourages or prevents type errors. Type safety is associated with facilities of a language, some of which are type-safe while others may lead to type errors. Type enforcement can be static or dynamic, and type safety usually involves a guarantee that the value of any expression will be a legitimate member of its static type.
Stanford University
Winter 2023
This is a companion course to CS106B/CS106X, diving into the modern C++ language. It covers some of the most exciting features of C++, including modern patterns that give it beauty and power. It is an intermediate-level course assuming familiarity with basic programming concepts.
No concepts data
+ 23 more concepts