We're seeing a swing to what I call "pragmatically typed" languages: those with extensive type inference and possible escape hatches.