drkcore

2009/02/01 09:37:16

CTMCP chapter6 終了

明示的状態

ProductName コンピュータプログラミングの概念・技法・モデル(IT Architect' Archiveクラシックモダン・コンピューティング6) (IT Architects’Archive CLASSIC MODER)
セイフ・ハリディ,ピーター・ヴァン・ロイ,Peter Van-Roy,Seif Haridi
翔泳社 / ¥ 8,610 ()
通常24時間以内に発送

状態とは、必要とされる計算の途中結果を含む、値の時系列である。

Prologを少しなぞれば宣言的なプログラミング言語の理解が深まるし、Cutを使うと宣言性が失われることがあるっていうの理解できた。

でも、かなり理解不能な部分が多かったかも。

Comments