What if… – your programming language required you to write useful docs, – using those docs, it checked your program for mistakes, – it even used the docs to speed up your program, – this feature already exists! And what if it was called static typing.