Static type checking in the programmable programming language | Open Awesome