上午 摸了
中午 看完了Arch-lab3的仿真波形,理解了。
下午、晚上 继续写了SETLC,但是发现一点问题,之后要重新设计一下,现在没法支持partial application(使用env的坏处),而且assignment总是设置到最高。之后要把env的改成即时的variable替换(即open-variable立即substitute成环境中已有的variable,当然,递归会diverge,这里做一个妥协,支持简单的单递归晚替换。另外一边,引入lexi-scope,方便variable的计算。使用小步语义重新构造新的term可以做到partial app。
也看了点llvm.ir