4 ms·
> the borrow checker rejects valid programs That's Godel's incompleteness theorem for you. Every static type checker also rejects valid programs, but that does
by ______-_-______ 5y ago
> the borrow checker rejects valid programs
That's Godel's incompleteness theorem for you. Every static type checker also rejects valid programs, but that doesn't make them any less useful. Just one of those inconvenient facts about our universe.
- staticassertion 5y agoI think it's more of a Rice's theorem/ halting problem issue than an incompleteness theorem issue.