I like types, but jeez, the vast majority of web systems over the last decade were written in dynamic languages. You&#x27;re trying to claim absolute proof for a very subjective choice, and it sounds silly.