3 ms·
Is there some thread/blog_post you could provide talking about the discovery of the type system issue?
by slicebo123 6y ago
Is there some thread/blog_post you could provide talking about the discovery of the type system issue?
- slicebo123 6y agoGuessing it's this: https://forums.swift.org/t/swift-type-checking-is-undecidable/39024 https://forums.swift.org/t/swift-type-checking-is-undecidabl...
- eyesee 6y agoI believe GP is referring to this post: https://forums.swift.org/t/swift-type-checking-is-undecidable/39024 https://forums.swift.org/t/swift-type-checking-is-undecidabl...