关于关系

下下周，我将于6月14日星期二晚上在巴黎JUG（Java用户组）进行演讲。[a href="http://www.parisjug.org/xwiki/bin/view/Meeting/20110614" target="" class="regularLink">巴黎JUG

很多人问Ceylon是否会有元组。嗯，我想，为什么不呢？编写以下通用代数数据类型很容易：

今天我想出了一种在Ceylon中实现注解约束的绝妙新方法，本质上是使用元模型类型（是的，我指的是元模型类型，而不是实际的元模型类型实例）作为程序元素的查询语言。新方法的优势包括：

类似于以下方法引用Float.times在Ceylon中是以“curried”形式表示的。我可以写：

我刚刚发现存在类型（类似于Java的通配符类型，Ceylon不支持）的一个很好的用例。这有点复杂，涉及到Ceylon的一个高级特性，其他语言没有：类型安全的元模型。但让我看看是否能够传达这个想法。

尽管我已经花费了几年的时间设计基于依赖注入概念的平台和规范，但我从未特别考虑自己是一个很大的粉丝。依赖注入对我来说更像是一个特定编程社区中的时尚，而不是一个将在未来语言中由未来框架设计者复制的持久模式。

我已经更新了《Ceylon入门》的第三部分和第十一部分，[链接](/2011/04/28/introduction-to-ceylon-part-3)和[链接](/2011/05/21/introduction-to-ceylon-part-11)，以包含对语言的一些近期修订，并[链接](https://blog.hibernate.com.cn/2011/04/28/introduction-to-ceylon-part-3#H-AmbiguitiesInMixinInheritance)补充了一些遗漏的细节。我还增加了一些额外的材料，[链接](https://blog.hibernate.com.cn/2011/04/28/introduction-to-ceylon-part-3#H-IntroductionComparedToExtensionMethodsAndImplicitTypeConversions)解释了我们做出的几个重要决策背后的推理。

各位，那些大声宣扬ohmigod 函数式编程!!!!的博客已经变得相当枯燥。在80年代，Smalltalk程序员曾经称那为面向对象编程。Java没有高阶函数是历史上的一个愚蠢的意外，把它们放回它们本应所在的地方并不真正是某种伟大的范式转变。现在，Java语言家族正在从围绕ML和Haskell等语言进行的类型系统的研究中学习很多有趣的东西，但高阶函数似乎是其中最不有趣的东西。map()和filter()在具有普遍副作用的语言中——这让人感到有些厌倦。现在，Java语言家族正在从围绕ML和Haskell等语言进行的类型系统的研究中学习很多有趣的东西，但高阶函数似乎是其中最不有趣的东西。

我迫不及待地想尝试为[JavaFX 2](http://weblogs.java.net/blog/opinali/archive/2011/05/28/javafx-20-beta-first-impressions)创建一个Ceylon包装器。Ceylon语言正是为了解决这类问题而设计的。JavaFX最初也是为与Ceylon有相似思想的语言设计的。该死的，还是得回去继续工作，完成那个我不断承诺的该死的编译器...