ちょっと間が空いてしまったけど、前回の続き。 2.8 無限プログラミング Iswimファミリについてのこれまでの議論は、従来のオブジェクトが有限な代数に限定したものだった。 この形式のIswimは、ALGOLのような従来の命令型言語の再帰的サブセットに多かれ少…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。