シーケンスにおけるエレメントって、ラムダ計算の自由変数なのかな

5:02 AM

プログラミングだと束縛変数しか基本出てこないからシーケンスに暗黙にTが引数として存在するような気分になるけど

5:04 AM

>ラムダ式は自由変数（ λ によって束縛されていない変数）を含むこともできる。例えば、入力に関係なく常に y を返す関数を表す式 λx. y において、変数 y は自由変数である。

5:04 AM

うまくいえない・・・