1
where
what
「AnalyzeDB.analyzeで定義したクエリは」とあるが、本文中ではanalyzeというのは定義されていない。
それに当たると思われるクエリを定義したものはAnalyzeDB.Qかと思われる。
2
where
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
what
ヒントの箇所でselectPref関数で得られるデータを埋め込み式と組み合わせて、それを置き換えれば良い、と記載があるところの記述で、以下のように記述されている。
from (select ...(selectPref n db)) as 都道府県一覧,
しかし、selectPrefの方は(dbty, _) SQL.db -> real -> ...であるから、引数の順序に関して誤解を有無記述である。よって、以下のような記述が望ましい。
from (select ...(selectPref db n)) as 都道府県一覧,
1
where
what
「
AnalyzeDB.analyzeで定義したクエリは」とあるが、本文中ではanalyzeというのは定義されていない。それに当たると思われるクエリを定義したものは
AnalyzeDB.Qかと思われる。2
where
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.cursor3
where
what
ヒントの箇所で
selectPref関数で得られるデータを埋め込み式と組み合わせて、それを置き換えれば良い、と記載があるところの記述で、以下のように記述されている。from (select ...(selectPref n db)) as 都道府県一覧,しかし、
selectPrefの方は(dbty, _) SQL.db -> real -> ...であるから、引数の順序に関して誤解を有無記述である。よって、以下のような記述が望ましい。from (select ...(selectPref db n)) as 都道府県一覧,