News for hackers. Stuff that matters.

A comment on The State of SwiftUI. Parent comment

Re:The State of SwiftUI by favorited on Monday September 14, 2020 @03:50PM (#24474322)
> 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.

[ Parent | on HN ]
Re:The State of SwiftUI by Tainnor on Monday September 14, 2020 @03:53PM (#24474357)
Is that proven or just conjectured?
[ Parent | on HN ]