純粋関数型のHaskellが分かりやすい
ブロック内でしか変数を扱えないから状態を持たない(持てない)
最近使ってる人少ないかもだけど、Emacs Lispもそうだっけか