Dlaczego nie można tego zrozumieć za pomocą interferencji typu F #?

Question

Mam ciąg FileInfo, ale zależy mi tylko na ich nazwach ciągów, więc chcę sekwencji ciąg. Początkowo próbowałem coś takiego:

Seq.map (fun fi -> fi.Name) fis 

Ale z jakiegoś powodu, F # 's typ wnioskowanie nie jest wystarczająco dobry, aby umożliwić tym i mnie wyraźnie podać typ na «fi»:

Seq.map (fun (fi : FileInfo) -> fi.Name) fis 

Dlaczego ta adnotacja jest wymagana? Jeśli wiadomo, że fis : seq<FileInfo> i Seq.map : ('a -> 'b) -> seq<'a> -> seq<'b>, to czy nie należy wnioskować, że typ wyrażenia lambda to FileInfo -> 'b, a następnie, od fi.Name : string, dalej wnioskować, że jego typ to FileInfo -> string?

Answer 1

Inferencja typów działa od lewej do prawej. W tym miejscu użyteczny jest operator rurociągu; jeśli znasz już typ "fis", a następnie napisz go jako pomocniczy, a wnioskowanie działa dla ciebie.

(Generalnie wyrażenia postaci

o.Property 
o.Method args 

wymagają typu „O”, aby być znana priori, dla większości innych określeń, gdy typ nie muru systemu Wnioskowanie może 'float a' constraint ', który może być później rozwiązany, ale w tych przypadkach nie ma ograniczeń formy "wszystkie typy z właściwością o nazwie P" lub "wszystkie typy z metodą o nazwie M" (jak pisanie kaczką), które mogą być odroczone i rozwiązane później, więc potrzebujesz tych informacji teraz, lub wnioskowanie nie powiedzie się natychmiast.)

Zobacz także overview of type inference in F#.