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…)

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…)

How to install and use Swift 3 on Windows Subsystem for Linux aka Bash on Ubuntu on Linux... (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.

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…)