疑問におもったこと

• 宣言的プログラミングモデル
  • 部分データ構造 partial data structure の上で関数を計算すること

2.2.6 部分値 partial value

• 束縛されていない変数を含んでいるかもしれないデータ構造 == 部分値(partial value)

• 手続き値（閉包）

  • 自由識別子 by p.59
  • 「自由識別子は仮引数のこともあり」????
    • 仮引数って時点で定義されてるんじゃないの？自由識別子は定義されていない識別子のことなはず。
  • p.67 上部の言っていることがちゃんと理解できていない気がする...????

2.3.1 構文

• レコードとパターンにおいて、その引数 x_1 … x_n はすべてことなるものでなければならない
• それにより、すべての「変数の、変数への束縛」が明示的な核言語操作としてかけることが保証される(7)

2.4.5 基本概念再訪

• 変数識別子と静的スコープ
  • なぜここで、{ y=1, x=y } みたいなことをしている????
• 手続き定義と宣言
  • なんで Proc の CE は ずっと Φ???? 外部参照がないから? → 多分そう。Proc の仮引数に必要なものが揃っているので、Proc 自身は環境をもっていない。

2.5.1 末尾呼び出し最適化

• なぜ、この大きくなり方が問題にならないのか
  • 本当に必要なのは、1 つの変数だけ。それ以外は格納域にある必要はない。
  • 「この例の場合、変数を格納域でなくスタックに格納すれば問題は解決できる」なんで????
  • 「スタックに用意に格納できないようなデータを大量に持っている」どんな????
  • なので、不要な変数を削除するという問題は解決しないといけないらしい

2.5.4 ガーベッジコレクションは黒魔術ではない

• メモリリークを避けること
  • 必要がなくなったデータ構造を参照しないようにしなければならない
  • 「宣言的モデルでこの掃除をできないことはないが厄介である」????
  • 外部資源が Mozart データ構造を必要とする場合????

2.6.3 対話的インタフェース(declare 文)

• 「前の declare と違うのは、が(declare を含んでいなければ)大域的変数を宣言しないことである」????

2.7.2 例外を持つ宣言的モデル

• catch 文は意味スタック上の「マーカー」????
• catch
  • 「catch 文は skip 文同様、何もしない」????