[amozoss]

Yeah true, it's not the best example, and completely unrelated to type systems, I agree.

Although warnings in someway are a safety mechanism so I think it could contribute to another section of the article, but it'd be much better to have a different example for that paragraph.

Thanks for the feedback