The cost of environment not making it possible for you to make a mistake is always there, somewhere.

I think best hypothetical development environment would allow you to specify the tradeoff and choose whether you want strong typing, fully managed memory or ownership semantics.