Type inference is cool for write fast but defeat the point of have a type system (IMHO). I'm using F#, and without a IDE that tell me what kind of crazy type i

Type inference is cool for write fast but defeat the point of have a type system (IMHO). I'm using F#, and without a IDE that tell me what kind of crazy type is the code I'm looking right know I can't function. I have used delphi (love it!) and write the types is so minimal, and the benefit of clarity are great. I use a lot of python, I'm used to be unsecure about what exactly the types are. I use F#, and I'm even more unsecure about it. Is kind of infurating that the compiler know what the types are, but all of that is hidden to me! P.D: Type-inference is the thing I like less from F#. All the rest is great to me (Pattern matching, AGDT, etc). I wish the editor show me the types in read mode but I can write without type all in write mode. So, I write "a + b" and then when move out the line, the editor show "a:int + b:int" or something like that. That could truly be the best thing about the 2 worlds.