Obviously your condition that the answer to your question be a project that is used by as many people as Hadoop is ridiculous given the different language maturity levels you're comparing. But ignoring that requirement, servo is a big project, written mostly in Rust, that (in my opinion) demonstrates that 'you can achieve type safety and "business value in a shorter amount of time" WITHOUT the overweight JIT'd runtimes'.