More than 5 years have passed since last update.

Implementing functional languages を頑張って読む.14日目

Posted at 2016-03-09

14日目

やるき

スタックトップを見てヒープに展開し,dispacthで適した関数を呼ぶ.
スタックってなんだっけ.
→要素はヒープのアドレス.
ヒープってなんだっけ.
→utilsに入ってる.nodeを格納できる.
Rule 2.1をわすれた.

a : s	d	h[a : NAp a1 a2]	f
a1 : a : s	d	h	f

うん,たしかにRule2.1通りだ.

おわり

rule 2.1を見た.明日はApplying a supercombinatorを読む