Static type checkers identify certain types of problems before you even run your code.
They can improve developer workflow by adding features like auto-completion.
Clickable & Draggable!
Semantic portal