Tag/

【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

132 C语言入门经典（第4版） - 免费试读 - book.csdn.net

gongyouxiang收录，使用标签：编程，时间：2008-4-19 23:37:42 | 相关网摘，我也收藏

http://book.csdn.net/bookfiles/675/

19 大数四则运算的C++实现- CSDNBlog

jtowerjava收录，使用标签：C++, 编程，时间：2008-4-18 15:22:08 | 相关网摘，我也收藏

http://blog.csdn.net/luxuejuncarl/archive/2007/04/16/1566981.aspx

1 InfoQ：微软研究院发布Singularity RDK

futurelight收录，使用标签：架构, 编程, 开放源代码, 操作系统, 微软，时间：2008-4-14 13:10:07 | 相关网摘，我也收藏

【InfoQ中文站】3月4日，Singularity研发工具包（RDK）在CodePlex网站上发布为开源项目。该RDK基于微软研究院的Singularity项目，Singularity项目由Galen Hunt、Jim Larus及其他人员研发。项目网站表示，Singularity主要“通过系统、语言、工具领域的创新来构建可靠的系统。”

Singularity RDK包括“源代码、构建工具、测试套件、设计笔记、以及其它背景资料”，这些资料可用来研究、运行Singularity。资料中包括一个名叫 “构建并运行Singularity”的17页文档，该文档串讲了配置Singularity和RDK的步骤。已经有五十多个可构建、部署的独立应用和项目进行了下载，下载中包括一整套的测试套件和一套标准检查程序。

RDK还提供了数十个Singularity设计笔记（SDN），描述了Singularity的某些特性或其中一项工程是如何进行设计和预期工作的。举例来说，“SDN 0：Singularity的设计动机”包括关于所谓重中之重的讨论：

四个设计要点结合起来以产生一个操作系统，这个操作系统在未来的研究和系统可靠性的创新方面是敏捷的。这些设计要点是：一套类型安全的抽象指令集做为系统的二进制接口，适合应用程序和操作系统的一个统一扩展机制，一个强大的进程隔离架构，以及一个用于描述代码和数据的无所不在的元数据基础架构。

http://www.infoq.com/cn/news/2008/04/singularity-rdk

476 国际：十个习惯让你精通新的开发技术

linhaobin收录，使用标签：编程，时间：2008-4-9 22:26:45 | 相关网摘，我也收藏

进入Oracle最强大的在线支持系�?ad.cn.doubleclick.ne...报网络工程师就业�?�?000元神州数码网络课�?东方标准-新东方IT培训www.oristand.com软件保护专家，德国威�?通过安全而简便的途径来保护你的软件免受盗�?通过自动加密和跨平台的API，几步即可实现软件保护www.wibu.com.cn

http://news.csdn.net/n/20080408/115015.html