What is soundness?: Concept map

Soundness is about ensuring your program can’t get into certain invalid states. A sound type system means you can never get into a state where an expression evaluates to a value that doesn’t match the expression’s static type.

Clickable & Draggable!

Click node to preview!