変数参照を少女のイデアと見るんだね。

少女λ計算というものを思いついた。λ計算のリダクションの様子をアニメーションで表示するようなアプリを作りたいな、とふと思いついたのだけれど、そこへ定数プリミティブの変わりに少女を入れてしまおうというそんだけの思いつき。
まあ、明らかに某所で少女とはなんぞやみたいな議論が発生していたせいなのだけれど。
なんでこんなアイディアを面白いと思ったのか、寝不足の明け方。