f# - 什么是首选方式，明确还是允许编译器推断？

Question

什么时候让编译器做它的事情是可取的，在声明变量类型时我应该什么时候明确？

Answer 1

很简单，在 F# 中，总是更喜欢让编译器“做它的事”。否则，编写其强大类型推断系统的人会感到难过。

严肃地说，在 C# 中，我知道存在(或曾经？)关于何时或何时不将 var 用于推断变量类型的争论。但我相信，人们对缺乏清晰性的担忧源于一个不熟悉简洁的强类型语言的社区，并且担心 var 是某种不值得信任的动态伏都教。但是我们现在在 C# 中拥有的，以及在 F# 中的很多次，都是世界上最好的。强大的自动打字。而“变量”只是冰山一角。真正令人惊奇的是 F# 对函数类型签名的推断。有一段时间我认为这太过分了，写出完整的签名会更清晰。伙计，你克服得那么快。