『Scheme手習い』読書会第13回

『Scheme手習い』読書会の13回目です。範囲としては9章頭(P150)〜9章途中(P153)です。

友人とのペースを合わせるため、あまり進んでいません。前回の収集子の箇所を復習していました。

9章 ……もう一度、もう一度、もう一度、……
- 関数lookingの定義：関数keep-lookingを補助関数として定義。keep-looking中では、指定位置の要素が検索している要素と同じかを確認し、必要なら次の要素をkeep-lookingに渡す。
- 「不自然な」再帰、訳がおかしいのか、よく意味が分からない。「latの一部分に対して再帰しているのではないところです。」が不自然らしい。
- lookingのような関数を部分関数と呼ぶ、これまでのような関数を全関数と呼ぶ。どういう特徴を指して言っているのか不明瞭。
- ゴールに到達しない関数(無限ループになる)の定義。これは最も部分的な関数らしい。