types - 純粋なラムダ式 (let-free 式) には名前の変更が必要ですか?

翻译自：https://stackoverflow.com/questions/35834486 2016-03-07T00:43:10.710

161 次

1

純粋なラムダ式には名前の変更が必要ですか? ML では、入力プログラム式は、バインドされたすべての変数が異なるというプロパティを持っている必要があります。純粋なラムダ式 (let-free 式) でも同じかどうか知りたいですか?

1 に答える 1