 Certain other kinds of bindings are necessarily dynamically scoped also, such as restarts and catch tags.Function bindings cannot be dynamically scoped using codice_17 (which only provides lexically scoped function bindings), but function objects (a first-level object in Common Lisp) can be assigned to dynamically scoped variables, bound using codice_51 in dynamic scope, then called using codice_32 or codice_57.Dynamic scope is extremely useful because it adds referential clarity and discipline to global variables.