It was a dream when it wasn't available. Once it existed, we saw the many flaws it had. That's why statically strong typed languages still exist. And even new ones are being created.