Entries from 2011-08-07 to 1 day
SICP 4.3の非決定計算に入りました。 ここからambという新しい特殊形式が導入されます。 ambの引数に取った値のどれか一つ返すようです。 実装については4.3.3 amb評価器に入るまでお預けです。 requireとか継続使わないと実装できない気がしますが、どうや…
SICP 4.3の非決定計算に入りました。 ここからambという新しい特殊形式が導入されます。 ambの引数に取った値のどれか一つ返すようです。 実装については4.3.3 amb評価器に入るまでお預けです。 requireとか継続使わないと実装できない気がしますが、どうや…