Should Programming Languages Be Safe or Powerful?