Comment by morkalork

They're all static type checkers right? None for runtime?