clojure und ^: dynamic

Ich habe versucht, dynamische Variablen und Bindungsfunktionen zu verstehen, also habe ich Folgendes versucht (Clojure 1.3):

user=> (defn f [] 
           (def ^:dynamic x 5) 
           (defn g [] (println x)) 
           (defn h [] (binding [x 3] (g))) 
           (h))
#'user/f
user=> (f)     
5
nil

Verwirrt versuchte ich diesen etwas einfacheren Code:

user=> (def ^:dynamic y 5)
#'user/y
user=> (defn g [] (println y))
#'user/g
user=> (defn h [] (binding [y 3] (g)))
#'user/h
user=> (h)
3
nil

Was ist der Unterschied zwischen den beiden Codeteilen? Warum funktioniert das zweite Beispiel, das erste jedoch nicht?

Hinweis: Mir ist gerade aufgefallen, dass die folgenden Funktionen funktionieren (ich verstehe immer noch nicht vollständig, warum):

user=> (def ^:dynamic y 5)
#'user/y
user=> (defn f [] (defn g [] (println y)) (defn h [] (binding [y 3] (g))) (h))
#'user/f
user=> (f)
3
nil
user=> 

Antworten auf die Frage(1)

Ihre Antwort auf die Frage