WExpert F # 2.0 Don Syme, Adam Granicz i Antonio Cisternino, str. 44

Wnioskowanie o typ: Użycie operatora |> pozwala na przepływ informacji typu z obiektów wejściowych do funkcji manipulujących tymi obiektami. F # używa informacji zebranych z wnioskowania typu do rozwiązania niektórych konstrukcji językowych, takich jak dostęp do właściwości i przeciążenie metody. Polega to na rozpowszechnianiu informacji od lewej do prawej, dokładnie w tekście programu. W szczególności informacje o typie na prawo od pozycji nie są brane pod uwagę przy rozwiązywaniu problemów z dostępem do nieruchomości i przeciążeniem.

Tak więc wyraźne użycie |> może pomóc we wnioskach.

Jak zawsze pomocne jest również zadeklarowanie typu.

Czy są jakieś inne środki / taktyki, które mogą pomóc w wnioskach typu F #?

EDYTOWAĆ

Jak słusznie zauważył RamonSnir, jeden powinien pozwolić wnioskować o typie jak najwięcej pracy. Dodanie deklaracji typu tylko dlatego, że można, nie jest tym, co należy zrobić. Nie bierz tego pytania lub odpowiedzi za coś, co powinno być zrobione. Zadałem pytanie, aby pomóc lepiej zrozumieć niuanse wnioskowania typu i co może pomóc w tych sytuacjach, gdy wnioskowanie typu potrzebuje pomocy. Więc jeśli wnioskowanie typu może rozwiązać wszystkie typy bez pomocy, to nie podawaj go, ale gdy to zrobi, byłoby miło poznać kilka sposobów, aby temu pomóc.