Didn't Facebook do this for PHP (Hack) and Microsoft with JavaScript (TypeScript)?
From a technical aspect, I do find these projects cool. I wonder if its more efficient for large companies to initially develop using dynamic languages then transition them with these optionally typed languages.