Verzweigungen (zweifach)

in den meisten Sprachen:

if Bedingung then Anweisung1 
     [ else Anweisung2 ]

Designfragen:

• was ist als Bedingung gestattet (gibt es einen Typ für Wahrheitswerte?)
• dangling else
  • gelöst durch Festlegung (else gehört zu letztem if)
  • vermieden durch Block-Bildung (Perl, Ada)
  • tritt nicht auf, weil man else nie weglassen darf (vgl. ?/:) (Haskell)