backquote(quasiquote)って数学的基盤ってあるの？
LISPでリスト処理を書く時って、無意識的に参照透過性を
維持しながら書くと思うけど、あれが関数型言語のルーツ？
なんじゃないかって思う。
まあ手続き的に書いちゃう人もいるだろうけど。