Strikte Paare

data Value = ...
           | Pair Value Value

Semantik von (pair X1 X2) in Umgebung E ist die folgende Rechnung:

• führe Semantik von X1 in E aus, liefert v1 :: Value
• führe Semantik von X2 in E aus, liefert v2 :: Value
• Resultat ist Pair v1 v2

Semantik von (fst p): führe Semantik von p aus, liefert Pair v1 v2, Resultat ist v1.