But like, of all the expressive power vs analyzability trade-offs you can make, there's a huge leap in expressive power when you give away decidability. Und

But like, of all the expressive power vs analyzability trade-offs you can make, there's a huge leap in expressive power when you give away decidability. Undecidability is not a sign that the foundation has cracks (not well founded), but it might be a sign that you put the foundation on wheels so you can drive it at highway speeds, with all the dangers that entails. It's not a trade everyone would make, but the languages I prefer do.