"Whether your programming language "embraces" types or has a modern type system or not, these concepts are central to how programs execute, because they are a f

"Whether your programming language "embraces" types or has a modern type system or not, these concepts are central to how programs execute, because they are a fundamental part of how computation works." - what are "modern" type systems? Was something new invented in the last 15-20 years that I had missed?