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