None of the examples you give encourage (or even properly support) statically-typed functional programming with immutable data. The purpose of F# is to be an FP

None of the examples you give encourage (or even properly support) statically-typed functional programming with immutable data. The purpose of F# is to be an FP language with an emphasis on getting things done. I think you should look again :)