Optional yra tipas, kuris arba turi reikšmę, arba turi nil (jokios reikšmės). Swift padaro nil aiškų tipų sistemoje: String niekada negali būti nil, o String? gali. Būtent taip Swift dar kompiliavimo metu pašalina daugumą null-pointer gedimų.
