『アンダースタンディングコンピュテーション』/SIMPLE言語
『アンダースタンディングコンピュテーション』
で制作する
プログラミング言語
スモールステップ意味論
で構築されている
簡約
式や文を解釈すること?計算すること?
言いかたがよくわからん
値
これ以上簡約できないもの
環境
変数名と値とをマッピングするもの
式
環境を更新しないもの
純粋(pure)
文
環境を更新するもの
純粋でない(impure)