Types Design: Concept map

When you write down a type in your program, you constrain the kinds of values that flow into different parts of your code. Types can appear in two kinds of places: type annotations on declarations and type arguments to generic invocations

Clickable & Draggable!

Click node to preview!