Computed properties in Swift: A basic feature for safer and cleaner code
Computed properties are a great tool to keep your code clean and free of bugs you should use in any code you write. (more…)
Read more »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