Concept
Runtime type error
Books
Journey Statuslearning
According to Types and programming languages, the class of undefined or undesirable behaviors that a Type system is designed to prevent - whether they are actually eliminated depends on the soundness of the type system.
According to Types and programming languages, the class of undefined or undesirable behaviors that a type system is designed to prevent - whether they are actually eliminated depends on the soundness of the type system.