The Swift programming language