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... (more…)
Read more »
Computed properties are a very useful feature in Swift when used correctly. Learn what they are and how you can use them in this week’s post. (more…)
Read more »
How to install and use Swift 3 on Windows Subsystem for Linux aka Bash on Ubuntu on Linux... (more…)
Read more »
In this tutorial we will create a Facebook Messenger bot, a simple one, that just respond us with a reversed message and a structured messages with Swift. We will start from scratch to get a complete working bot.
Read more »
Let’s take a closer look at opaque return types, how they can be used both with and without SwiftUI, and how they compare to similar generic programming techniques, such as type erasure. (more…)
Read more »