Statische und dynamische Sichtbarkeit

Zugriff auf nichtlokale Variablen? (Bsp: Zugriff auf X in F)

with Ada.Text_Io; use Ada.Text_Io;
procedure Nest is
   X : Integer := 4;
   function F (Y: Integer) return Integer is
   begin return X + Y; end F;
   function G (X : Integer) return Integer is
   begin return F(3 * X); end G;
begin Put_Line (Integer'Image (G(5)));
end Nest;

• statische Sichtbarkeit: textuell umgebender Block
  (Pascal, Ada, Scheme-LISP, Haskell ...)
• dynamische Sichtbarkeit: Aufruf-Reihenfolge
  ((Common-LISP), (Perl))