Type checking and strongly typed languages are rapidly taking market share and in the near feature, except for niche specific software, mostly everything will b

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.