相关内容

科学教育初期，人们最常学到的一点就是外推是不可靠的。然而，在我看来，人类思维总是倾向于将当前趋势外推到未知的未来，这种倾向是如此自然，以至于我们几乎察觉不到自己在做这件事，或者别人在做这件事。许多领域的流行辩论（政治、经济、文化、科学）都陷入了这种谬误。这种谬误在当前关于气候变化原因和影响的完全堕落的讨论中尤为明显。在这场讨论中，无论哪一方大声疾呼，无论他们多少次提到“科学”这个词，实际上都没有做任何接近批判性、怀疑性的波普尔科学方法的事情。这是库恩对科学的描述的胜利，但被降低到有线电视新闻的水平，然后被用于政治目的。关于这个话题的每一句话都充满了确认偏误。你们的房子都遭到了瘟疫。

吉尔·布拉查写道。

很多人问Ceylon会不会有元组。好吧，我想，为什么不呢？编写以下泛化代数数据类型很容易

今天我想出了在Ceylon中做注释约束的一个很棒的新方法，基本上是使用元模型类型（是的，我是指元模型类型，而不是实际的元模型类型实例）作为一种查询程序元素的查询语言。新方法的优势是

类似于以下方法引用：Float.times在Ceylon中以未绑定的形式表示。我可以写

我刚刚发现存在类型的一个很好的用例（类似于Java的通配符类型，Ceylon 不支持也不会支持）。这有点复杂，围绕Ceylon的一个其他语言没有的先进功能展开：类型安全的元模型。但让我看看我能否把想法传达清楚。

尽管我已经花费了几年的时间来设计围绕依赖注入概念的框架和规范，但我从未特别将自己视为这个领域的忠实粉丝。依赖注入对我来说更像是一种特定编程社区中的时尚，而不是一种将在未来的语言中由未来的框架设计者重复的持久模式。

我已经更新了第3部分和第11部分的Ceylon入门，以包含对语言的最近修订和一些缺失的细节进行了补充。我还添加了一些额外的材料，解释了我们做出的几个重要决策背后的原因。

各位，所有的博客都在炫耀ohmigod 函数式编程!!!!的不可思议的奇迹——通过使用像map()和filter()这样的高阶函数，在一种具有普遍副作用的语言中——这让我感到非常厌倦。在80年代，Smalltalk开发者们曾经把那称为面向对象编程。Java没有高阶函数是一个愚蠢的历史巧合，因此把它们放回它们应该一直所在的地方并不真的是某种伟大的范式转变。现在，Java家族的语言正在从围绕ML和Haskell等语言在学术界进行的类型系统研究中学习很多，但高阶函数似乎是最不有趣的东西。

我迫不及待地想尝试为JavaFX 2创建一个Ceylon包装器。Ceylon语言正是为了解决这种问题而设计的。JavaFX最初也是为与Ceylon有相似理念的语言而设计的。该死的，还是回到我承诺要做的那个该死的编译器上吧...