Dynamic scoping is about as impure as global variables. Even JS’ ES5 scoping is awful. Gimmie pure, single-static assignment with static compilation and strong, gradual typing any day of the week.