Typ opcjonalny – typ polimorficzny występujący w niektórych językach programowania. Pozwala określić, czy obiekt lub zmienna mają określoną wartość, czy też nie. Służy do wyraźnego i bezpiecznego modelowania przypadków, w których brak wartości jest dopuszczalny, eliminując konieczność używania specjalnych wskaźników braku danych, takich jak null itp.
Obiekt, który może przyjąć taką wartość powinien zostać zadeklarowany jako typ Optional. Dzięki tego rodzaju deklaracji kod staje się bardziej ekspresywny, intencja wyraźnie wskazana, a obsługa braku wartości wymuszona, zmniejszając ryzyko błędów.
Przykłady
Język Swift W języku Swift typ Optional deklaruje się za pomocą znaku ?:
var przykladowyTypOptional: String? //W tym momencie przykladowyTypOptional przyjmuje wartość nil przykladowyTypOptional = "Tekst" //W tym momencie przykladowyTypOptional przyjmuje wartość "Tekst"