Stop show with sound -- Keyboard shortcut: 'x'  Next slide in show -- Keyboard shortcut: 'n'  3 minutes, 41 secondsExpressions, Types, and Functions - slide 14 : 46

Static type checking
There are two main kinds of static type checking: explicit type decoration and implicit type inference
Let us study the expression (+ x (string-length y))