いものやま。

ちょっと間が空いてしまったけど、前回の続き。 2.8 無限プログラミング Iswimファミリについてのこれまでの議論は、従来のオブジェクトが有限な代数に限定したものだった。 この形式のIswimは、ALGOLのような従来の命令型言語の再帰的サブセットに多かれ少なかれ一致している。 この制限により、Iswimプログラミングは本…