お前蹴りだな。twitterでも一々突っかかってくるし、生温かく見守ってとかいいつつ喧嘩吹っ掛けてくるとか。いったいなんなん？

レキシカルスコープなんて全く必要ないというのなら全部グローバル変数ってか？それこそ衝突するだろ。
局所環境が無いと関数プログラミングなんてできない。
逆にいえば、局所環境がちゃんとあるならば構造化プログラミングも別方向に進展することができる。
関数型プログラミングを考える上ではそれは必須だ。
逆に構造化プログラミング知らずに関数型プログラミングでござい、なんてありえないだろ。