4 ms·
> Other type systems can at least be unsound, I don't know if any of them is undecidable. Keep in mind that Swift's type system is sound. It's just not decida
by favorited 6y ago
> Other type systems can at least be unsound, I don't know if any of them is undecidable.
Keep in mind that Swift's type system is sound. It's just not decidable in its current state.
- Tainnor 6y agoIs that proven or just conjectured?