Getting Started with Swift Compiler Development
Over the next few months, I'll be writing a guide to each section of the Swift compiler source code: swift/lib/Driver, swift/lib/Frontend, swift/lib/Parse, a... (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