和Google互补的搜索引擎Wolfram|Alpha
Wolfram|Alpha与Google究竟是什么关系,Wolfram|Alpha自己是如何定位的?Wolfram|Alaph在多大程度上是语义网搜索呢?InfoQ中文站就等等这些问题采访了Wolfram研究公司中国区商务经理王翔。
作者 Sadek Drobi 译者 王丽娟 发布于 2008年4月17日 下午7时49分
Debasish Ghosh对一场动态VS.静态语言的讨论做出了回应,提出了用静态语言编程时动态类型检查的使用问题。他回忆了Greenspun第十编程法则:“任何使用静态类型检查语言编写的、足够复杂的程序都包含一个特定、非正式定义、容易引入Bug且缓慢的动态检查语言实现。”
Ghosh认为如今不一定要这样。他主张,Java泛型(比如Guice和EasyMock)能避免那些为了强制执行运行时类型检查而采取的权宜之计:
原先在有些情况下不得不模拟运行时类型检查,既缓慢又容易引入Bug,而利用Java泛型,这些框架就可以通过编译时类型检查来达到同样的效果。Guice和EasyMock是我用过的比较优秀的两个框架,它们利用泛型实现了突出的类型安全。[……]
看一下下面这段代码,它用Guice Binder把实现
SpecialServiceImpl绑定到接口Service上。public class MyModule implements Module {
public void configure(Binder binder) {
binder.bind(Service.class)
.to(SpecialServiceImpl.class)
.in(Scopes.SINGLETON);
}
}
尽管“Service和SpecialServiceImpl之间的“实现”关系看起来是在运行时完成的”,但所有的类型检查实际上是在编译时进行的:
快速看一下Guice的源码,可以看到BinderImpl.bind()方法返回BindingBuilderImpl
…… public
BindingBuilderImpl bind(Class clazz) {
return bind(Key.get(clazz));
}BindingBuilderImpl
.to()方法则把Class作为输入——加在类型通配符上的限制使对参数的编译时类型检查实际上起到检查“实现”关系的作用…… public ScopedBindingBuilder to(Class extends T> implementation) {
return to(TypeLiteral.get(implementation));
}
Debasish Ghosh提倡使用这种解决方法,而不是试图实现动态类型检查。这种方法不仅能避免Greenspun第十编程法则,还能充分利用静态类型,因为它能保证强大的类型安全:
查看英文原文:Try to get the best of your Statically Typed Language在你用静态类型语言编程的时候,利用适当的语言特性让大部分的类型检查在编译时进行。这样,在你点击运行按钮之前,你就能确信你的代码符合类型系统的规则。你还能够对你的代码集进行更为简单的重构和更加清晰的改进。
Wolfram|Alpha与Google究竟是什么关系,Wolfram|Alpha自己是如何定位的?Wolfram|Alaph在多大程度上是语义网搜索呢?InfoQ中文站就等等这些问题采访了Wolfram研究公司中国区商务经理王翔。
Vijay Narayanan在这篇文章中对数据服务的几个方面进行了介绍,它们都是SOA实践者和数据架构师感兴趣的内容。本文对数据服务的几个方面进行了介绍,包括需求定义,基本原理和好处、范围、开发以及消费模式。
罗马不是一天建成的,豆瓣的技术架构也是随着用户规模的增长一直在持续变化中。在本次演讲中,豆瓣的首席架构师洪强宁将与大家一起分享从上线时的单台服务器架构开始一直到现在的豆瓣架构变迁历程。
Billy McCafferty展示了S#arp架构,它在ASP.NET MVC框架的基础上,荟萃了当今的最佳实践,应用在ASP.NET Web应用程序的架构设计中。
中国作为新兴市场中的新兴市场,是Sun在美国之外实施SSE(SUN Startup Essentials)项目重点关注的地区。在QCon Beijing 2009期间,InfoQ中文站有幸对此项目的负责人王雷先生进行了采访,探讨了关于开源、新兴市场、SSE等话题。
HTML5 是由 WHATWG发起的,最开始的名称叫做Web Application 1.0,而后这个标准吸纳了Web Forms 2.0的标准,并一同被W3C组织所采用,合并成为下一代的HTML5标准。
没有回复
关注此讨论 回复