Most of these productivity gains are achievable in any Standard ML influenced type system.
replies(4):
There is nothing in our domain of distributed systems based on SaaS products, mobile OSes, and managed cloud environments, that would profit from a borrow checker.