3 ms·
But it doesn't mean that rustc (or C) will fail to compile all programs, which implement given functionality.
by red75prime 10y ago
But it doesn't mean that rustc (or C) will fail to compile all programs, which implement given functionality.
- red75prime 10y agoI don't know what downvoters were thinking. So I'll take a blind shot at explaining. I didn't say that Rice's theorem wasn't true. I said that in this case it doesn't matter. If program fails to compile, you don't give up because of Rice's theorem, you modify program to make it compile. Will it make program less efficient? Who knows. There's no theorem about that. Most likely it will.