Type Interence //name is inferred to be a string based on usage let printMessage name printf Hello there, %s! \n"name //'names' is inferred to be a sequence of strings let printNames names names Seq iter printMessage let names =["Ana;"Felipe;"Emillia printNames namesType Inference // 'name' is inferred to be a string based on usage. let printMessage name = printfn "Hello there, %s!\n" name // 'names' is inferred to be a sequence of strings. let printNames names = names |> Seq.iter printMessage let names = [ "Ana"; "Felipe"; "Emillia" ] printNames names