arytmetyczny If będący czymś pomiędzy klasycznym Ifem a przypadkiem instrukcji wyboru bazującym na trychotomii Był to najwcześniejszy rodzaj instrukcji warunkowej spotykanej w tym języku:
IF (e) label1, label2, label3
Gdzie e to dowolne wyrażenie numeryczne. Powyższy zapis jest równoważny następującemu:
IF (e .LT. 0) GOTO label1 IF (e .EQ. 0) GOTO label2 IF (e .GT. 0) GOTO label3
Implementacja obiektowa w Smalltalku Smalltalk to język w pełni obiektowy. Warunki nie są tam instrukcją języka, lecz metodą klasy Boolean przyjmującą dwa domknięcia jako argumenty. Klasa Boolean posiada dwie klasy podrzędne: True, która wykonuje tylko pierwsze z domknięć, oraz False wykonującą drugie:
var := condition ifTrue: [ 'foo' ] ifFalse: [ 'bar' ]
Instrukcja wyboru
Innym rodzajem instrukcji warunkowej jest Instrukcja wyboru, która dopasowuje obliczoną wcześniej wartość do zdefiniowanych ograniczeń i wykonuje akcję przyporządkowaną pierwszemu z nich, który zostanie poprawnie dopasowany.
Dopasowanie do wzorca
Bardziej wyspecjalizowaną odmianą instrukcji warunkowych jest Dopasowanie do wzorca spotykane w niektórych językach programowania.