F# lets you specify the types of function arguments and return values. If it will make your code easier to read and reason about, why not just do that? I use O

F# lets you specify the types of function arguments and return values. If it will make your code easier to read and reason about, why not just do that? I use Ocaml a lot, which is very similar to F# as you know... and I document the types of all toplevel values in my code. Not because the compiler needs it, but because it helps me navigate the code more easily.