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.
That’s a seriously impressive project! I’ve always been fascinated by the technical challenges of porting operating systems.