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.
— David van Geest