coding-style - 为什么 DRY 不被认为是类型声明的好东西？

Question

似乎从来不敢剪切和粘贴代码的人一遍又一遍地指定某些东西的类型没有问题。为什么不强调类型信息应该声明一次并且只声明一次以便在修改某些内容的类型时在整个源代码中引起尽可能少的链式 react 作为一种好的做法？例如，使用从 C# 和 D 借来的伪代码:

MyClass<MyGenericArg> foo = new MyClass<MyGenericArg>(ctorArg);

void fun(MyClass<MyGenericArg> arg) {
    gun(arg);
}

void gun(MyClass<MyGenericArg> arg) {
    // do stuff.
}

对比

var foo = new MyClass<MyGenericArg>(ctorArg);

void fun(T)(T arg) {
    gun(arg);
}

void gun(T)(T arg) {
    // do stuff.
}

如果您更改 MyClass 的名称，或更改 MyGenericArg 的类型，或者决定更改 foo 的类型，则第二个似乎不那么脆弱。

Answer 1

我不认为你会发现你对后一个例子对程序员“更好”的论点有很多分歧。有很多语言设计特性，因为它们更适合编译器实现者!

请参阅 Scala 以了解您想法的一种具体化。

其他语言(例如 ML 系列)在类型推断方面走得更远，并创建了一种完整的编程风格，其中类型非常重要，比在类 C 语言中更为重要。 (有关温和的介绍，请参阅 The Little MLer。)