In imperativen Sprachen ist es trivial, einen Programmiertest für die Verwendung von "Wertesemantik" oder "Referenzsemantik" durch die Sprache zu entwickeln. Man könnte folgendes tun und den Wert von a(wo Vertex {one, two, three :: Integer}) überprüfen : a := Vertex 3 4 5 b := a one b := 6 two b...