This is type-safety, but not type-checking. The 2 are entirely different problems, and can complement each other. I don't see this being adapted for any projec

This is type-safety, but not type-checking. The 2 are entirely different problems, and can complement each other. I don't see this being adapted for any project since it doesn't provide any real benefit over using something like TypeScript, which won't let you do these types of mistakes. Do you want to handle the errors (this) or not have errors (TS)? Pretty easy answer on my end.