Functional programming languages: Unlimited good abstractions of unknown cost
I don't feel like there's a great third option. Go is pretty good.