> Also, I don't know any F#, but is he correct when he says that the order of declarations in a file matters, and that the order of files in a project matters?

> That sounds crazy to me. What is the benefit? Both Haskell and Ocaml get along fine without relying on declaration order to do type inference.

Here is great explanation on the benefits of this. http://cs.hubfs.net/topic/None/59219#comment-70220