On 11/06/13 04:42, Jakub Jelinek wrote:
On Wed, Nov 06, 2013 at 12:31:00PM +0100, Richard Biener wrote:
Maybe we need to revisit it? As one of those who were not in favour of
the C++ move, can I ask you guys to step back for a moment and think
about - what do all of these changes buy us, exactly? Imagine the state
at the end, where everything is converted and supposedly the temporary
ugliness is gone, what have we gained over the code as it is now?
as_a gains us less runtime checking and more static type checking
which is good.
But that really affects --enable-checking=yes builds (and only cases where
things aren't inlined). If the price for that is uglier and less readable
code, then the price is just too high.
I totally disagree. Getting to a better static typed system is good.
All the tree/rtl checking bits are really working around the sad fact
that we don't have a statically typed system. The checking stuff has
been a big help to ensure we're not doing something stupid. But those
problems really need to be caught at compile time, not a runtime.
jeff
