corpus.blog
41,554 blogs · 4,904,241 posts Claim your blog
Record · corpus.blog/posts/01a0bc26-4890-707f-8be7-6b70c90fe83d

Swift Type Checking Is Undecidable

Michael Tsai · published 28 February 2022

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at mjtsai.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
9
Words captured
462

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://forums.swift.org/t/swift-type-checking-is-undecidable/39024
forums.swift.org
https://github.com/apple/swift-evolution/blob/master/proposals/0142-associated-types-constraints.md
github.com
https://github.com/apple/swift-evolution/blob/master/proposals/0157-recursive-protocol-constraints.md
github.com
https://stackoverflow.com/questions/23939168/is-c-sharp-type-system-sound-and-decidable
stackoverflow.com
https://www.microsoft.com/en-us/research/wp-content/uploads/2007/01/fool2007.pdf
microsoft.com
https://forums.swift.org/t/the-requirement-machine-a-new-generics-implementation-based-on-term-rewriting/55601
forums.swift.org
https://forums.swift.org/t/formalizing-swift-generics-as-a-term-rewriting-system/45175
forums.swift.org
https://github.com/apple/swift/tree/main/lib/AST/RequirementMachine
github.com
https://github.com/apple/swift/tree/main/docs/RequirementMachine
github.com