08/02/17 18:05:41
>>82
一度SECDマシンで考えて、
<S,E,C,D>(のコピー)が継続そのものであることを理解したら、
継続パッシングスタイルに評価器を書き換える。
08/02/17 18:05:41
>>82
一度SECDマシンで考えて、
<S,E,C,D>(のコピー)が継続そのものであることを理解したら、
継続パッシングスタイルに評価器を書き換える。
08/02/17 18:05:41
>>82
一度SECDマシンで考えて、
<S,E,C,D>(のコピー)が継続そのものであることを理解したら、
継続パッシングスタイルに評価器を書き換える。