Article note: A variation of this trick will be used in some show for a 2020s version of the "Fiddling the stoplights" scene from Hackers.
It is pretty clever.
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.