Master Swift Generics: A practical guide to code reuse
Generics are an advanced Swift feature to generalizer and reuse code. You will learn why generics exist and how to use them in your apps. (more…)
Read more »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