p.179の問9.3の3の誤植と思われる箇所3点について

[2222-42]

1

where

• バージョン: 初版第一刷
• ページ: p.179

what

「AnalyzeDB.analyzeで定義したクエリは」とあるが、本文中ではanalyzeというのは定義されていない。

それに当たると思われるクエリを定義したものはAnalyzeDB.Qかと思われる。

2

where

• バージョン: 初版第一刷
• ページ: p.179

what

makeAnalyze関数の型として、以下のようにテキストでは書いてある。

   val makeAnalyze : real -> DBSchema.covidDB SQL.conn -> DBSchema.resultTy SQL.cursor

しかしながら、resultTyはstructure DBSchemaで定義したものではなく、structure AnalyzeDBの中で定義されている。よって、以下のような宣言が期待される。

   val makeAnalyze : real -> DBSchema.covidDB SQL.conn -> resultTy SQL.cursor

3

where

• バージョン: 初版第一刷
• ページ: p.179

what

ヒントの箇所でselectPref関数で得られるデータを埋め込み式と組み合わせて、それを置き換えれば良い、と記載があるところの記述で、以下のように記述されている。

from  (select ...(selectPref n db)) as 都道府県一覧,

しかし、selectPrefの方は(dbty, _) SQL.db -> real -> ...であるから、引数の順序に関して誤解を有無記述である。よって、以下のような記述が望ましい。

from  (select ...(selectPref db n)) as 都道府県一覧,