deferred substitution在pl的定义