Type checking and strongly typed languages are rapidly taking market share and in the near feature, except for niche specific software, mostly everything will be typed. There are a few reasons for this: it makes software easier to change and to test, and in a scenario of fast-growing complexity like the world we live in today, it is better suited for software development.

I would recommend to every software developer to learn the type ecosystem inside their language to make sure they have a good/high-paying job in the near future.

In 5 to 10 years, almost every serious engineering job will be working with an ecosystem that contains types.