Swift Articles, Tutorials & News

Formalizing Swift Generics as a Term Rewriting System

Formalizing Swift generics as a term rewriting system Previously I wrote about how the full generality of the Swift generic system is undecidable. The basic idea is that “finitely-presented monoids” can be written as a Swift protocol where the “word probl…

Read more »

Apple Swift Algorithms

Swift Algorithms is an open-source package of sequence and collection algorithms, along with their related types. – apple/swift-algorithms…

Read more »