1
16
我不确定我是否同意。规格相当详细。
您缺少的基本规则可能是约束不是签名的一部分。类型推断从签名开始工作。 我认为这项设计决定有充分的理由。然而,很多人认为我认为有充分的理由做出设计决定,这在道德上是错误的。如果你有兴趣阅读关于我是对是错这一主题的几百万字,请看我关于这一主题的文章和数百条左右的评论,告诉我我错了:
不。你看起来是个通情达理的人,你的期望似乎是基于良好的推理。然而,完全有可能有一个合理的预期,但没有得到满足。这就是其中之一。 这将很困难,因为泛型字典类型在其转换中不是协变或反变的。要捕获的概念在类型系统中不容易以提供推断的方式表示。 如果您喜欢使用具有更高级类型推断的语言,请考虑使用F。如果你更喜欢倾向于“按照用户的意思去做”而不是“在歧义上报告错误”的语言,可以考虑使用VB。 |
2
4
C#类型推断不能脱离约束或返回值。所以你会 轻微地 祝你好运
如果您将参数声明为
c# spec
,似乎从
|
3
1
为什么不省略IEnumerable的类型呢?
|
Michael Runzler · 动态类型化方法中的奇数型推理 6 年前 |
K.Os · Kotlin和RxJava类型推断失败 7 年前 |
Crazycolorz5 · (^)上的类型推断问题 7 年前 |
Josh Stone · Scala类型推断错误 7 年前 |
LazyHatIQ · 类型脚本类型推断、扩展语法和多类型返回 7 年前 |