我在Coursera上跟了一门叫做Functional Programming Principles in Scala的课程，是由Scala的作者Martin Odersky讲授的。其中第三周的作业中使用到了Scala的trait这个语言特性。

我以前熟知的语言都没有类似的特性（Ruby的mixin和Scala的trait很像，但是Ruby我不熟），所以这周的博客就分析一下这个语言特性是如何实现的。

trait

在讲trait的实现机制之前，先看一个使用trait的例子。
假设我们有以下几个类：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

abstract class Plant {
  def photosynthesis = println("Oh, the sunlight!")
}

class Rose extends Plant {
  def smell = println("Good!")

  def makePeopleHappy = println("People like me")
}

class Ruderal extends Plant {
  def grow = println("I take up all the space!")
}

abstract class Animal {
  def move = println("I can move!")
}

class Dog extends Animal {
  def bark = println("Woof!")

  def makePeopleHappy = println("People like me")
}

class Snake extends Animal {
  def bite = println("I am poisonous!")
}

植物家族有玫瑰和杂草。

一个谜团

如果你用过类似guava这种“伪函数式编程”风格的library的话，那下面这种风格的代码对你来说应该不陌生：

1
2
3
4
5
6
7
8
9

public void tryUsingGuava() {
    final int expectedLength = 4;
    Iterables.filter(Lists.newArrayList("123", "1234"), new Predicate<String>() {
        @Override
        public boolean apply(String str) {
            return str.length() == expectedLength;
        }
    });
}

这段代码对一个字符串的list进行过滤，从中找出长度为4的字符串。看起来很是平常，没什么特别的。

但是，声明expectedLength时用的那个final看起来有点扎眼，把它去掉试试：

error: local variable expectedLength is accessed from within inner class; needs to be declared final

上篇博文的末尾留了三个问题，现在自问自答一下。

在Scala中被声明为val的v4为什么在反编译的Java中不是final的呢？

在方法中声明局部变量时，如果用Scala的val关键字（或者是Java中的final）来修饰变量，则代表着此变量在赋过初始值之后不可以再被重新赋值。这个val或者final只是给编译器用的，编译器如果发现你给此变量重新赋值会抛出错误。

而bytecode不具备表达一个局部变量是immutable的能力，也就是说对于JVM来说，不存在不可变的局部变量这个概念。所以v4在反编译之后，就和普通的局部变量无异了。

在Scala中被声明为val的v2为什么在反编译的C#中不是readonly的呢？

这是个挺tricky的问题，我试着解释一下。Scala .NET是基于IKVM实现的，IKVM可以把Java bytecode翻译为CIL。
所以Scala编译为CIL的过程实际是这样的：

Scala可以编译为Java bytecode和CIL，从而在JVM和CLI之上运行。Scala有很多在Java和C#的世界中显得陌生的语言特性，本文将分析这些语言特性是如何实现的。

object

Scala中可以像这样创建object：

1
2
3
4
5

object HowIsObjectImplementedInScala {
  def printSomething() {
    println("printSomething")
  }
}

然后在代码的其他地方调用printSomething，一个object究竟是什么东西呢？
我们将这段Scala编译为Java bytecode，然后反编译为Java，会发现编译器为HowIsObjectImplementedInScala这个object生成了两个类：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

public final class HowIsObjectImplementedInScala
{
  public static void printSomething()
  {
    HowIsObjectImplementedInScala..MODULE$.printSomething();
  }
}

public final class HowIsObjectImplementedInScala$
{
  public static final  MODULE$;

  static
  {
    new ();
  }

  public void printSomething()
  {
    Predef..MODULE$.println("printSomething");
  }

  private HowIsObjectImplementedInScala$()
  {
    MODULE$ = this;
  }
}

本文讲什么？

本文用Scheme（Racket）代码为例，一步一步的推出Y Combinator的实现。

本文不讲什么？

Y Combinator是什么，干什么用的，它为什么能够work，它的数学含义以及实际应用场景，这些话题由于篇幅所限（咳咳，楼主的无知）不在本文论述范围之内。

如果有兴趣，请参考维基： http://en.wikipedia.org/wiki/Fixed-point_combinator#Y_combinator

鸣谢

为什么要做这款插件？

在豆瓣上查看一本书的时候，页面的右侧会显示哪些网站可以购买该书以及各自的价格。
比如这本《乡关何处》，页面右侧显示了亚马逊，京东，当当等网站的购买链接。

但是豆瓣只会提供纸质书的购买链接，不提供电子书的。除非该书豆瓣自己有售。
所以我写了个Chrome的插件来解决这个问题。

这款插件怎么用？

这款插件会在每个图书页面上添加正版电子书的购买链接及其价格。您只需点击链接去购买就好了。

测试发布文章

测试修改

再次修改

好久没用了，还能更新吗？test

is it fixed 10?

本文翻译自 Jon Skeet 的系列博文”Edulinq”。

本篇原文地址：

http://msmvps.com/blogs/jon_skeet/archive/2010/12/29/reimplementing-linq-to-objects-part-12-defaultifempty.aspx

上次实现 First / Last的时候写了大量的代码，相比起来，今天要讲的 DefaultIfEmpty 就轻松多了。

DefaultIfEmpty是什么？

这个操作符虽然简单，但是还是有 两个重载 ：

本文翻译自 Jon Skeet 的系列博文”Edulinq”。

本篇原文地址：

http://msmvps.com/blogs/jon_skeet/archive/2010/12/29/reimplementing-linq-to-objects-part-11-first-single-last-and-the-ordefault-versions.aspx

今天我实现了六个操作符，每个操作符都有两个重载。我一开始以为这些操作符的实现会很相似，但是最后发现每个都稍微有些不同…

今天实现了哪些操作符？

以下三个集合的排列 {First, Last, Single}, { 带有 / 不带有 OrDefault }, { 带有 / 不带有谓词
} ，其结果是十二个不同的方法签名：

本文翻译自 Jon Skeet 的系列博文”Edulinq”。

本篇原文地址：

http://msmvps.com/blogs/jon_skeet/archive/2010/12/28/reimplementing-linq-to-objects-part-10-any-and-all.aspx

今天我们介绍两个操作符：Any 和 All。

Any 和 All做什么？

Any 有两个重载，而 All只有一个：

本文翻译自 Jon Skeet 的系列博文”Edulinq”。

本篇原文地址：

http://msmvps.com/blogs/jon_skeet/archive/2010/12/27/reimplementing-linq-to-objects-part-9-selectmany.aspx

我们接下来要实现的这个操作符是LINQ 中最重要的操作符。大多数（或者是全部？）其他的返回一个序列的操作符都可以通过调用 SelectMany
来实现，这是后话按下不表。现在我们首先来实现它吧。

SelectMany 是什么？

SelectMany 有四个重载，看起来一个比一个吓人：

本文翻译自 Jon Skeet 的系列博文”Edulinq”。

本篇原文地址：

http://msmvps.com/blogs/jon_skeet/archive/2010/12/27/reimplementing-linq-to-objects-part-8-concat.aspx

上文讲的 Count 和 LongCount 返回的是数值类型，本文我们讲的 Concat 返回的是一个序列。

Concat 是什么？ Concat

只有一种签名形式，这让它使用起来很简单：

本文翻译自 Jon Skeet 的系列博文”Edulinq”。

本篇原文地址：

http://msmvps.com/blogs/jon_skeet/archive/2010/12/26/reimplementing-linq-to-objects-part-7-count-and-longcount.aspx

今天的文章要介绍两个 LINQ 操作符，因为它们实在是太类似了，所以放到一起来讲。 Count 和 LongCount
的实现非常相像，不同的只是方法名，返回值类型和几个变量。

Count 和 LongCount 是什么呢？ Count 和 LongCount
各自有两个重载：一个重载接受谓词，另一个不接受。下面是这四个方法的签名：

1
2
3
4
5
6
7

public static int Count < TSource > (this IEnumerable < TSource > source)

public static int Count < TSource > (this IEnumerable < TSource > source, Func < TSource, bool > predicate)

public static long LongCount < TSource > (this IEnumerable < TSource > source)

public static long LongCount < TSource > (this IEnumerable < TSource > source, Func < TSource, bool > predicate)

上周五在公司内部做了一个小型的sharing，讨论了一些与延迟执行有关的东西。现在把ppt和代码分享出来。如有谬误，请不吝指教 :)

代码在这儿： http://codeformyblog.codeplex.com/SourceControl/changeset/view/62764#1095173

ppt在这儿：

Deferred execution View more presentations from cuipengfei

本文翻译自 Jon Skeet 的系列博文”Edulinq”。

本篇原文地址：

http://msmvps.com/blogs/jon_skeet/archive/2010/12/24/reimplementing-linq-to-objects-part-6-repeat.aspx本文的主题是个无关紧要的方法， Repeat 。关于 Repeat ，值得讨论的内容比 Empty
还要少。写这篇博文只是为了保证这个系列的完整性。

Repeat 是什么？ Repeat 是一个静态的泛型方法，不是扩展方法，它只有一个签名形式：

1

public  static  IEnumerable<TResult> Repeat<TResult>(TResult element,int  count)

它返回一个序列，该序列中反复的包含“ count ”个指定的元素，。 Repeat 只需要一个参数校验：检验“ count ”不是负数。

本文翻译自 Jon Skeet 的系列博文”Edulinq”。

本篇原文地址：

http://msmvps.com/blogs/jon_skeet/archive/2010/12/24/reimplementing-linq-to-objects-part-5-empty.aspx这一篇继续讲非扩展方法。这次我们要讲的是 Empty ，它有可能是最简单的 LINQ 操作符了。

Empty 是什么？

Empty
是一个泛型的，静态的方法，它只有一个签名形式，不接受任何参数：

public static IEnumerable Empty()

本文翻译自 Jon Skeet 的系列博文”Edulinq”。

本篇原文地址：

http://msmvps.com/blogs/jon_skeet/archive/2010/12/24/reimplementing-linq-to-objects-part-4-range.aspx

本篇博文较短，接下来的几篇估计也会比较短。我觉得只有 很相似的几个 LINQ 操作符才适合放到同一篇博文里面，比如 Count 和
LongCount 就比较适合放在一起讲。不过我也要采纳读者的意见，如果你喜欢“肥胖”一点的博文的话，请留言说明。

本文将要讲解 Range 操作符。

Range 操作符是什么？

本文翻译自 Jon Skeet 的系列博文”Edulinq”。

本篇原文地址：

http://msmvps.com/blogs/jon_skeet/archive/2010/12/23/reimplementing-linq-to-objects-part-3-quot-select-quot-and-a-rename.aspx

距离上次写完本系列博文的 第一篇 和 第二篇 已经有一段日子了，希望接下来的进度会快一些。

现在我给本项目在 Google Code 上建立了源码管理
，现在就无需每篇博文包含一个 zip 文件了。创建项目时，我给它取了个显而易见的名字，叫做 Edulinq 。我修改了代码中的命名空间，而且现在
这一系列博文的 tag 也修改为了
Edulinq 了。好了，闲话少叙 … 我们来开始重新实现 LINQ 吧，这次要实现 Select 操作符。

Select 操作符是什么？

本文翻译自 Jon Skeet 的系列博文”Edulinq”。

本篇原文地址：

http://msmvps.com/blogs/jon_skeet/archive/2010/09/03/reimplementing-linq-to-objects-part-2-quot-where-quot.aspx

提示：本篇文章较长。虽然我选择了一个比较简单的操作符来在本文中实现，不过我们还是会遇到一些特例以及一些与 LINQ
相关的原则。因为我还在试着找出表现本文内容的最佳方式，所以本文的排版方式暂时是实验性的。

我们将要实现“ Where ”子句（也可以说是方法或操作符）。 Where 在总体上来说比较容易理解，但是涉及到延迟执行和流式处理的部分会有些麻烦。
Where 方法是泛型的，不过只有一个类型参数（在我看来这很重要，因为我觉得一个方法的泛型参数越多就越令人难以理解）。哦，对了，我们将在本文开始涉及查询表
达式，这算是本文的一点额外猛料。

Where 是什么？

本文翻译自 Jon Skeet
的系列博文“Edulinq”。

本篇原文地址： http://msmvps.com/blogs/jon_skeet/archive/2010/09/03/reimplementing-linq-to-objects-part-1-introduction.aspx

大约一年半之前，我在 DDD
的活动日上做了一次演讲。我当时试图去重新实现LINQ to
Objects，在一小时内能实现多少算多少。根据会后的反馈信息来看，我当时做得太快了…而且我还是远远没有实现完整。不过无论如何我还是觉得重新实现LINQ
to Objects是一个很有趣的练习，所以我觉得我应该用且行且博、不徐不疾方式来再做一遍。

这一系列的博文都会标上 “Edulinq”的标签
，你可以用这种方式过滤出这一系列博文。

总体思路

我的计划是要完整的重新实现LINQ to Objects，用每篇博客来解释一个方法（或者是一组方法）。我将会尽力把代码写的达到生产质量，但是我不会写任何XML文档注释 -
既然我已经在写博客来解释了，那我就不想在代码中再重复一次了。我将在适当的情况下做一些优化，但愿会 比LINQ to Objects本身的实现做得更好 。

原文地址： http://www.imaginativeuniversal.com/blog/post/2010/12/09/WP7-Tip-disabling-the-Pivot-Control-swipe-gesture.aspx

原文作者： James Ashley

在WP7社区中一个经常被问到的问题就是：在Pivot中放置了可以接受滑动手势的控件（比如说一个Slider）时，如何禁用Pivot控件本身内置的“用手指滑动
来切换视图”的功能呢？

对此问题，微软标准的答案是：你不应该这么做。这是“不好的做法”（Bad Practice），会造成用户体验的混淆。这种说法的前提是假设用户不会自己根据上下文
去思考，而总是预期“滑动”这一手势会在任何页面中都有一样的作用。这种答案听起来还不错，而且对于Pivot中内置Slider这种例子来说也很合理。况且，我们还
是可以把Slider纵向的放置在Pivot内的，那这个答案就显得更有道理了。

话又说回来，在WP7的TextBox中，我们可以用“按住并滑动”这一手势来操作光标在文本框内的位置。那么在Pivot控件中放置TextBox算不算是造成了不
好的用户体验呢？算不算是“不好的做法”（Bad
Practice）呢？我是不是应该想办法把TextBox也纵向放置呢？还有，ToggleSwitch控件（此控件来自于Silverlight for
Windows Phone Toolkit ）又该怎么办呢？

滑动这一手势对于手机来说是很常用的。很多针对WP7的新控件都会用到它。如果所有这些即将面世的新控件都不能放置在Pivot控件中的话，那就太可惜了。

恰好赶上这个月的十一号GearBox要在Duke Nukem北美发售之前搞一个Community
Day，就在达拉斯。作为一个八流的FPS爱好者一定要去凑凑热闹。

去往达拉斯的路上，透过车窗随便拍了一张

到达现场，室内很暗。摆了一些GearBox出品的其他游戏的海报。

这次来点干货，丢大爷的玉照

再访红河谷

紧接着上次去红河谷骑越野车的一周之后，再次造访此地，体验肾上腺素的急剧分泌。

这是刚进门的地方，很多人都是开着汽车，挂着拖车，载着摩托车来的

骑过了一大片坑坑洼洼的泥水地，前面就是红河，德克萨斯州和俄克拉荷马州的交界之处。

前面转弯后完全是豁然开朗的景象。一半流水一半沙，满目葱绿满目花。（其实是没有花儿的，只是为了凑个韵脚）

我只带了手机，下面的照片是同事用相机照的。

这是邻居家的前门

这是我们住的后院

这是小区里的某户大房子，车库都带三开门儿的

书接上回，这是公司楼下湖里的一条鳄鱼，到了中午鳄鱼头上还趴着一只晒暖儿的老龟

鳄鱼只是雕塑，从侧面比较容易看出来

中午去吃饭的时候经常走的一条小路，旁边有初生的小兔子