关于数据的一切

我看到了一些人要求在Ceylon的工作开始之前，先进行类型系统正确性的正式证明。并且因为我还没有这样做，他们给我起了各种难听的名字。这让我感到有些困惑，因为这是历史上第一次要求一个为实际计算而设计的语言这样做 :-)

这是介绍Ceylon语言的系列文章中的第七部分。请注意，在最终发布之前，语言的一些特性可能会有所改变。

这是介绍Ceylon语言的系列文章中的第六部分。请注意，在最终发布之前，语言的一些特性可能会有所改变。

这是介绍Ceylon语言的系列文章中的第五部分。请注意，在最终发布之前，语言的一些特性可能会有所改变。

这是介绍Ceylon语言的系列文章中的第四部分。请注意，在最终发布之前，语言的一些特性可能会有所改变。

这是介绍Ceylon语言的系列文章中的第三部分。请注意，在最终发布之前，语言的一些特性可能会有所改变。

这是介绍Ceylon语言的系列文章中的第二部分。请注意，在最终发布之前，语言的一些特性可能会有所改变。

InfoQ 发布了我在中国演示的视频 视频。这是我第一次尝试在别人面前谈论这种语言，我说话很不流畅，甚至说了一些不正确的话。我当然没有很好地解释一些事情。不过，我相信，随着突然开始填满我邮箱的会议邀请，我会得到很多练习的机会。:-/

Java Community Process（JCP）发布消息称，CDI 1.1 规范获得了几乎全票通过（除了VMWare，他们没有投票）。专家小组已经开始考虑问题，并欢迎对CDI感兴趣的人加入。CDI 1.1 开发的首页位于 GitHub，提供了一系列启动资源（随着时间的推移将发布更多）。一篇以前的博客概述了我们希望在CDI 1.1中看到改进的内容。

这是介绍 Ceylon 语言的一系列文章的第一篇。请注意，在最终发布之前，该语言的一些功能可能会发生变化。