很容易,在F#中,总是喜欢让编译器"做它的事情".编写强大的类型推理系统的人会感到悲伤.
严肃地说,在C#中我知道(或者是？)关于何时或何时不使用var感染变量类型的争论.但我认为那里缺乏明确性的担忧源于一个不熟悉简洁的强类型语言的社区,并担心var某种动态伏都教不值得信任.但是我们现在在C#中所拥有的,以及在F#中多次,是所有世界中最好的.强大的自动打字功能.而"变量"只是冰城的一角.真正令人惊讶的是F#对函数类型签名的推断.在那里有一段时间我认为这是过分的,并且写出完整的签名会更清楚.伙计,你快点过来.