试着发挥静态类型语言的最大功效

futurelight收录，使用标签：InfoQ, InfoQ中文站, 架构, 编程, 设计, DI, 依赖注入, 框架, Guice, Spring框架，时间：2008-4-22 4:26:51 | 相关网摘，我也收藏

【InfoQ中文站】Debasish Ghosh对一场动态VS.静态语言的讨论做出了回应，提出了用静态语言编程时动态类型检查的使用问题。他回忆了Greenspun第十编程法则：“任何使用静态类型检查语言编写的、足够复杂的程序都包含一个特定、非正式定义、容易引入Bug且缓慢的动态检查语言实现。”

Ghosh认为如今不一定要这样。他主张，Java泛型（比如Guice和EasyMock）能避免那些为了强制执行运行时类型检查而采取的权宜之计：

原先在有些情况下不得不模拟运行时类型检查，既缓慢又容易引入Bug，而利用Java泛型，这些框架就可以通过编译时类型检查来达到同样的效果。Guice和EasyMock是我用过的比较优秀的两个框架，它们利用泛型实现了突出的类型安全。[……]

看一下下面这段代码，它用Guice Binder把实现SpecialServiceImpl绑定到接口Service上。

http://www.infoq.com/cn/news/2008/04/get-advantages-of-static-typing