とその前に、レキシカルスコープって局所変数と違うん？
wikipediaで、LISP(wikipedia)の項を見て、scheme(wikipedia)、参照透過性(wikipedia)を読んで関数型と手続き型の違いがわかったような。
代入が可能かどうかで、プログラムの書き方が変わっていくのが関数型と手続き型の違いになっているのね。だからlispが手続き型と呼ばれるのかと。
でもって、やっとpythonでリストとタプルが存在する理由がわかった。今までずっとタプルの存在理由が理解できなかったけど、関数型のように保全性が保てるからなのか。
......認識あってんのか？