バリデーションは一旦置いておくとすると、 - 束縛と値 - lambdaの本体 が取れさえすれば、新しい束縛を引数リストに追加した環境のもとで - 値を出てきた順に評価してスタックにpush(新命令) - 本体を評価 と言う方法でコンパルすればよさげ
バリデーションは一旦置いておくとすると、
が取れさえすれば、新しい束縛を引数リストに追加した環境のもとで
と言う方法でコンパルすればよさげ