f# - 不確定なタイプのオブジェクトでのルックアップのエラー....すでに注釈が付けられたタイプで

Question

「このプログラムポイントより前の情報に基づいて、タイプが不確定なオブジェクトを検索する...」というエラーが表示されるのはなぜですか。

私はすでにタイプ情報で注釈を付けています。

コードを強調していますr.Read()。

let rec foldResult myFunc accumulator r:SqlDataReader =
    if r.Read() then
        foldResult myFunc (myFunc 123456 accumulator) r:SqlDataReader
    else
        accumulator

Answer 1

括弧に入れて

let rec foldResult myFunc accumulator (r:SqlDataReader) = ...

それ以外の場合は、最終的なパラメーターの型ではなく、関数の戻り値の型に注釈を付けています。