Creio que quiçá, seja reflexo das características da tipagem dinâmica.
É comum em linguagem com tipagem estática ou restrita, seja imposta limitações, ou que seja requerida explicitação do tipo.

Mas não de todo ruim são estas caracteristica, por exemplo, em linguagens de paradigma funcional, é comum haver mônadas que permitem tipos algebricos, como o maybe, ou either.

Pessoalmente, se tens interesse por este caráter da tipagem forte, recomendo o TypeScript que é uma especie de wrapper de JavaScript.

off-topic:
Sobre colocar imagens, também não sei, sou novo na plataforma.

Mas lhe parabenizo por estar a pensar nestas questões, vivemos na era da inteligência artificial, e interesse e curiosidade profunda tornam-se cada vez mais escassos.