中文字幕亚洲码在线,亚洲人成www在线播放,亚洲国产美女精品久久久久

Misquotation

Raimundox — Wed, 28 Nov 2007 10:08:00 GMT

前几天在JavaEye��阔被标题党阴了一把，看了一��{的文章叫�?a >被中国�h误传了数千年的七句话》，颇有些哭�W�不得的感慨�Q?br />
1. �q�些话的��是被误传了不假�Q�但是最多也��׃��癑ֹ�吧。中国知识分子不��d��书五�l�史子集的坏风气大抵是开始于所谓的新文化运动吧。再往前的人，对于�q�些典籍字字爬梳�Q�提了上句马上背下句�Q�就��是以章句式解读��Z��的宋元，也不应该随随便便��p��忽�?zh��n)�了，更不用说反对宋儒理学讲究正本清源的明清了�?br />
2. 古�h断章取义是一�U�风雅的�a�谈习惯，所�?#8220;雅言”是要字字出典的，有点像对暗号。比如我们家猫跑了，搁古代我肯定�?#8220;谁之�q�欤�Q?#8221;�Q�十有八�?ji��)会回答��_��“�a�是典守者之�q�也”�Q�这句射的是“虎兕��Z��?#8221;�Q�正好应景。甚至�ؓ了诙谐应景，故意曲解文义的情况也是很常见的。如果以此�ؓ证说误传的话�Q�恐怕只能算是牛嚼牡丹了。顺便多说一句，其实�q�个毛病��C��Z��有，不过不再是古文了�Q�大多数是电(sh��)��q��(sh��)视台词：“�I�气在颤抖仿�?j��ng)天�I�在燃烧。是啊，暴风雨就要来�?#8221;�Q?#8220;道哥�Q�牌子啊”�Q?#8220;你看我的��p��Q�有没有长进”之类的，虽不复古韵，但也�q�算有趣�?br />

P.S. : 今天team里有人把David Wheeler的名�a��Q�脓(chu��ng)在了Quote Wall上：“Any problem in computer science can be solved with another layer of indirection.”

�q�到的确��是一句被误传的名�a�吧，原文�?#8220;Any problem in computer science can be solved with another layer of indirection. But that usually will create another problem.”

Raimundox 2007-11-28 18:08 发表评论

Feng Shui for Standard ML Programmers

Raimundox — Tue, 10 Jul 2007 13:53:00 GMT

http://www.dcs.ed.ac.uk/home/stg/fengshui.ps.gz

今天早上打开Google Reader��q��见这么一��，内容倒也�|�了�Q�不�q�是bad smell的另一个名字而已�Q�硬要扯上分水也只能��是勉勉强强。不�q�郁��L��是，竟然是个�z��h的手�W�，国学不昌实不能不令我辈心忧啊�?br>
p.s. 预计未来6个月口头��："你这写当心坏了项目的风水"

Raimundox 2007-07-10 21:53 发表评论

The Keyword 'end' Drives Me Crazy

Raimundox — Fri, 11 May 2007 12:32:00 GMT

最�q�很多时间都在用Ruby�Q�逐渐地发��C��一件很不爽的事情，��是Ruby的end关键字。block多套几层�Q�很�Ҏ(gu��)��最后一��都是end�?..难怪有��Q�ruby不过是另一�U�acceptable Lisp�Q?#8220;最后一��都是括�?#8221;的经典标志以另外一�U��Ş式复��C��...对于Lisp的括��P��我还是可以接受的�Q�但是满眼的end�Q�直接让我回忆�v10�q�前冲刺NOI的种�U�，CPU直接切换到实模式�Q�什么可��d��粒度方法全都没有了�Q�审��观赤裸地变为短��精�(zh��n)?..最后杀�U�了��|��一行算出文法定义的所有nullable symbols...

1 while @productions.inject(false) {|c, p| c |= !nullable?(p.nonterminal) && p.symbols.all? {|s| nullable? s} && @nullables << p.nonterminal}

注意1不是行号...�q�句用的statement modifier, 1是我能想到的最��ruby语句�?..

p.s.
我现在已�l�恢复到OO保护模式�?..刚才�q�求短小�q�了头的同时�Q�发��C��ruby bulid-in object的一个陷�?..
a = Array.new 5, []
[[],[],[],[],[]]
a[0] << 1
[[1],[1],[1],[1],[1]]

想不到华丽的Array直接假设传进�ȝ��都是值对象了�Q�好�Ҏ(gu��)��也调个dup�?..

Raimundox 2007-05-11 20:32 发表评论

Church Number

Raimundox — Sun, 08 Oct 2006 18:32:00 GMT

今天被老庄拉到JavaEye扯皮�Q�扯来扯去还是lambda演算...本来应承了老庄写lambda演算��介，不过看到��石T1同学提到了Church number来勾引whl同学...于是我想�q�是写一些更有意思的东西吧�?br />
每个Church number都是一个接受两个参数的函数�Q�这两个参数又都是函敎ͼ��W�一个参数称为后�l�函敎ͼ��W�二个参数则叫做零点函数。依据这两个函数�Q�我们可以定义Church number zero, one, two�Q?br />

(define zero (lambda (successor zero) zero))
(define one �Q�lambda (successor zero) (successor zero)))
(define two (lambda (successor zero) (successor (successor zero))))

可以看出�Q�所谓one��是寚w��点函数应用一�ơ后�l�函敎ͼ�而two则是寚w��点函数应用后�l�函数的�l�果再次应用后��函数�Q�依�ơ类推可以得到Church Number n。下面我们可以通过后��函数increase和零点函数f(x) = 0来看看这些Church Number的计��结果：

(define (increase x) (+ x 1))

(zero increase 0)
> 0
(one increase 0)
>1
(two increase 0)
>2

an approximate Java version:

public interface Function {
    T apply(Object... parameters);
}

public interface ChurchNumber {
    Integer apply(Function successor, Function zero);
}

ChurchNumber zero = new ChurchNumber() {
   public Integer apply(Function successor, Function zero) {
      return zero.apply();
   }
};

ChurchNumber one = new ChurchNumber() {
   public Integer apply(Function successor, Function zero) {
      return successor.apply(zero);
   }
};

ChurchNumber two = new ChurchNumber() {
   public Integer apply(Function successor, Function zero) {
return successor.apply(successor.apply(zero));
   }
};

Function increase = new Function() {
public Integer apply(Object... parameters) {
   if (parameters[0] instanceof Function) {
      return ((Function) parameters[0]).apply() + 1;
   }
   return (Integer) parameters[0] + 1;
}
};

Function numberZero = new Function() {
   public Integer apply(Object... parameters) { return 0;}
};

System.out.println(zero.apply(increase, numberZero));
>0
System.out.println(one.apply(increase, numberZero));
>1
System.out.println(two.apply(increase, numberZero));
>2

定义了Church number后，我们�l�箋定义Church number上的�q�算�Q�首先是增加1�Q?br />

(define (inc x) (lambda (successor zero) (successor (x successor zero))))

(define three (inc two))
(three increase 0)
>3

an approximate Java version:

static ChurchNumber inc(final ChurchNumber churchNumber) {
   return new ChurchNumber() {
      public Integer apply(Function successor, Function zero) {
         return successor.apply(churchNumber.apply(successor, zero));
       }
   };
}

ChurchNumber three = inc(two);
System.out.println(three.apply(increase, numberZero));
>3

然后是加法：

(define (add x y) (lambda (successor zero) (x successor (y successor zero))))

(define five (add three two))
(five increase 0)
>5

an approximate Java version:

static ChurchNumber add(final ChurchNumber x, final ChurchNumber y) {
        return new ChurchNumber() {
            public Integer apply(final Function successor,
                    final Function zero) {
                return x.apply(successor, new Function() {
                    public Integer apply(Object... parameters) {
                        return y.apply(successor, zero);
                    }
                });
            }
        };
}

ChurchNumber five = add(two, three);
System.out.println(five.apply(increase, numberZero));
>5

最后是乘法�Q?br />

(define (multiply x y) (lambda (successor zero) (x (lambda (z) (y successor z)) zero)))

(define four (multiply two two))
(four increase 0)
>4

an approximate Java version:

static ChurchNumber multiply(final ChurchNumber x, final ChurchNumber y) {
        return new ChurchNumber() {
            public Integer apply(final Function successor,
                    Function zero) {
                return x.apply(new Function() {
                    public Integer apply(final Object... parameters) {
                        return y.apply(successor, new Function() {
                            public Integer apply(Object... ignoredParameters) {
                                if (parameters[0] instanceof Function) {
                                    return ((Function) parameters[0]).apply();
                                }
                                return (Integer) parameters[0];
                            }
                        });
                    }
                }, zero);
            }
        };
}

ChurchNumber four = multiply(two, two);
System.out.println(four.apply(increase, numberZero));

没有减法和除法，Church当年发明�q�套东西的时候就没有。原因是非常明显�?..因此Church number只有后��函数�Q�而没有前驱函数。也��是说Church number只能往前数...不能望后�?..自然不可能作出减法和除法了。当然扩展一下也是非常容易的�Q?br />

(define negative-one (lambda (successor precursor zero) (precursor zero)))
(define one (lambda (successor precursor zero) (successor zero)))

(define (add x y) (lambda (successor precursor zero) (x successor precursor ( y successor precursor zero) )))

(define (inc x) (+ x 1))
(define (dec x) (- x 1))

(define zero (add one negative-one))

(zero inc dec 0)
>0

whl同学问这栯��不能实现��点�Q�答案是可以实现有限�_�ֺ�的��Q�Ҏ(gu��)��....因�ؓ按照�q�个思�\发展下去�Q�我们定义��Q点的successor和precursor函数只能在有限的位数之内...当然有了one,zero再结合pair�Q�模�?/1存储实现��点也不是不可能的事�?..

Raimundox 2006-10-09 02:32 发表评论

Selenium Better Pratice

Raimundox — Fri, 04 Aug 2006 13:59:00 GMT

1. Never use Selenium FIT mode

Selenium分�ؓ两种�q�行模式�Q�Driven Mode(现在叫Selenium Remote Control)和FIT Mode(现在叫Selenium Core)�?/p>

FIT Mode��֐�思义�Q�就是类似FIT Testing Framework那种使用方式�Q�主要用于QA�{�非技术�h员编写Web应用的功能测试。FIT Mode的Selenium��试使用HTML来组�l�测试用例。例如我要测试一个web应用的登陆功能。我可能写出�q�样的HTML 表格�?/p>

1 < table >
2 < tr >
3 < td > open td >
4          < td > http://localhost:8080/login td >
5          < td > td >
6 tr >
7 < tr >
8 < td > type td >
9          < td > id=username td >
10          < td > someuser td >
11 tr >
12 < tr >
13 < td > type td >
14          < td > id=password td >
15          < td > password td >
16 tr >
17 < tr >
18 < td > click td >
19          < td > id=login_button td >
20          < td > td >
21 tr >
22 < tr >
23 < td > assertTextPresent td >
24          < td > Welcome to xxxx td >
25          < td > td >
26 tr >
27 table >

不同于FIT�Q�Selenium内置了一�p�d��的命令，如上例中的open, type, click以及assertTextPresent�Q�因此QA可以完全抛开DEV独立地编写测�?FIT需要DEV提供Behavior Fixture)。因此FIT Mode是相当容易��用的�Q�哪怕不会��用HTML的QA�Q�也可以使用FrontPage��d��三列表格�Q�依�ơ填入数据�?/p>

然而对于大多数team而言——尤其是敏捷team�Q�FIT Mode�q�x��的外表下是��o人恐惧的泥沼。大多数团队往往选择使用Selenium作�ؓ功能��试和集成测试工兯��不仅仅是QA��试工具�Q�在不同的�P代间遇到功能��程或UI变化�Ӟ��必须要重构Selenium��试�Q�或者说�Q�Functional Test Migration。��o人遗憄��是，HTML based的Selenium FIT Testing的重构竟然��o人难以置信的困难。我们可以��用include�{�Selenium FIT扩展�Q��得它可以重用详细的功能（Log in�Q?Log out诸如此类�Q�。即便如此，在一个真实的��目中，Selenium Test的数量往往�?00-500之间(我目前所处的��目在改用Driven Mode前已�?50+)�Q�对于这么大基数的Selenium��试�Q�手工重构几乎是不可惌��的，而目前尚没有HTML代码重构工具。即便存在泛泛意义上的HTML重构工具�Q�对于Selenium��试重构的有效性尚待商榗��而��用Driven Mode上述代码可以写�ؓ:

1 public void testShouldShowAWeclomeMessageAfterUserLoggedIn() {
2     selenium.open( " http://localhost:8080/login " );
3     selenium.type( " id=username " , " someuser " );
4     selenium.type( " id=password " , " password " );
5     selenium.click( " id=login_button " );
6     assertTrue(selenium.isTextPresent( " Welcome to xxxx " ));
7 }

很自�Ӟ��一个训�l�有素的�E�序员会重构出如下代�?

1 public void login(String username, String password) {
2     selenium.open( " http://localhost:8080/login " );
3     selenium.type( " id=username " ,username);
4     selenium.type( " id=password " , password);
5     selenium.click( " id=login_button " );
6 }
7
8 public void testShouldShowAWeclomeMessageAfterUserLoggedIn() {
9     login( " someuser " , " password " );
10     assertTrue(selenium.isTextPresent( " Welcome to xxxx " ));
11 }

之后无论是pull up到公共基�c�还是extact到Utils class都是很容易的事情。由于Java在代码重构上便利�Q�Java Selenium Remote Control成�ؓ使用Selenium的最��x��式。在�q�一点上�Q�纵使Ruby语法上比Java��单灵�z�d��多，它仍不是�~�写Selenium��试的最佌��?当然一个经�q�精心设计的ruby selenium dsl wrapper�q�是��h��非凡的�h(hu��n)值的�Q�这个我们后面会涉及�?�?/p>

2. Using the name user, system, page instead of selenium

观察上面提到的代码，其中使用selenium来操�U�web应用的行为，�q�在Remote Control里是常见的做法，但是仍然不够好，我们可以做一些小的变化以得到更好的测�?

1 protected void setup() {
2     selenium =    // intialize selenium instance
3     user = selenium;
4     currentPage = selenium;
5 }
6
7 public void login(String username, String password) {
8     user.open( " http://localhost:8080/login " );
9     user.type( " id=username " ,username);
10     user.type( " id=password " , password);
11     user.click( " id=login_button " );
12 }
13
14 public void testShouldShowAWeclomeMessageAfterUserLoggedIn() {
15     login( " some guy " , " password " );
16     assertTrue(currentPage.isTextPresent( " Welcome to xxxx " ));
17 }

基本上这只不�q�是"另一�U�写�?而已�Q�但是它更好的表达了"用户的行�?�Q�如login代码所�C�。以�?�pȝ��的正��相�?�Q�即currentPage.isTextPresent()。这�U�是典型的对�~�译器无意义对�h有意义的代码�Q�也��是普遍意义上好的代码�?/p>

3. Creating a DSL base on your test codes

懂得HTML的QA可以在没有DEV的帮助下使用Selenium FIT mode�Q�然而却不能在没有DEV的帮助下使用Driven Mode。于是最自然也是最fashion的做法，��是在已有的test codes之上提供Testing DSL或者Scripting Language�Q�让FIT mode变得更加FIT。这斚w��内容是一个更大的主题�Q�以后再详细展开吧�?/p>

4. Hacking Selenium Object to support FIT command

Selenium FIT mode和RC mode下的命��o有些许差异，比如FIT中的assertTextPresent�Q�在RC中变成了isTextPresent。同栯��有FIT中最实用的命令clickAndWait�Q�在RC中变成了click和waitForPageToLoad。在RC中��用FIT mode中的命��o也非难事�Q�找到com.thoughtworks.selenium.Selenium�Q�添加方�?

public void doCommand(String commmand, String parameters);

然后在com.thoughtworks.selenium.DefaultSelenium中添加实�?

1 public void doCommand(String commmand, String parameters) {
2    String[] paras = new String[] { "" , "" , "" }
3     for ( int i = 0 ; i < parameters.length && i < 3 ; i ++ )
4       paras[i] = parameters[i];
5    commandProcessor.doCommand(command, paras);
6 }

然后试验一�?

selenium.doCommand( " clickAndWait " );

在我们��用纯RC mode之前曄��用过一�D�中间方案，��rc code转化为fit code来跑(因�ؓrc不支持https)�Q�由于不是真正的rc mode�Q�像isTextPresent之类的方法都没有办法使用�Q�只能��用FIT mode command。因此如果因��Z��些特�D�的原因(https, chrome起不来，hta bug多等�{?�Q�你没有办法使用RC mode�Q�但是有希望得到RC可重构的好处�Q�那么这个tricky的技巧倒是不错的选择�?/p>

5. Using chrome and IE hta lanucher to support https
6. Run test using different browser lanucher to test browser compatibility

�q�两个都是和browser lanucher相关的，Selenium和JWebUnit最大的不同在于它��用真实的��览器来跑测试，从而可以更加真实地考察�pȝ��在不同浏览器中的表现。因此��用不同的��览器lanucher来运行测试，可以更好��试应用的浏览器兼容性，�q�对于web 2.0应用而言是很有帮助的。此外，使用rc提供的试验性lanucher�Q�chrome和hta可以解决跨domain��试和https的问题。不�q�目前hta�q�是有很多bug的，推荐使用chrome。当�Ӟ��最希望的还是澳�z�的同事可以早日在selenium里提供https支持�?br />

Raimundox 2006-08-04 21:59 发表评论

ANTLR Lexer Tips

Raimundox — Mon, 27 Mar 2006 06:44:00 GMT

摘要: 参加ThoughtWorks University的一个来月没啥事情，闲了写写compiler玩。发现Lexer部分比较基础也比较常用，有很多相似的东西�Q�每�ơ都要写一遍也太麻烦了�Q�下面是我按着JSL写的一个common java-like lexer�Q�对于大多数接近java语法的语�a�估计是够用了。BTW�Q�这个Lexer定义是TDD出来�Q�以通过��试��务，可能可读性不太强�?.WhiteSpaceC... 阅读全文

Raimundox 2006-03-27 14:44 发表评论

A Patch for Ruby Watir Test Framework

Raimundox — Wed, 11 Jan 2006 03:30:00 GMT

昨天发现了Ruby Watir里的一个小问题�Q�没有办法在Text Field里输入中文。虽然已�l�hack了，但是�q�是不太爽，G.H.Hardy��_��

Beauty is the first test: there is no permanent place in this world for ugly mathematics.

感动了我好久。现在换个说法：

Beauty is the first test: there is no permanent place in this world for ugly hack code.

�q�个问题也不太难出理�Q�ruby作�ؓC的front interface在字�W�串处理上有很深的C的痕�q�，嗯，10�q�前我还是个C�E�序员嘛�Q�按照从前的做法区分ASCII码�?br>

1 def characters_in(value)
2   index = 0
3   while index < value.length
4     len = value[index] > 128 ? 2 : 1
5     yield value[index, len]
6     index += len
7   end
8 end

把TextField里的doKeyPress改一下：

1 characters_in(value) {|c|
2   sleep @ieController.typingspeed
3   @o.value = @o.value.to_s + c
4   fire_key_events}

搞定�Q�但是还是很丑，直接把别人的code改了�Q�contributing to eclipse里说要contribute不要随便change别�h的代码。好吧，好在ruby扩展��h��也不难：

1 require 'Watir'
2
3 module Watir
4   module Cn
5     class IE <Watir::IE
6       def text_field(how , what=nil)
7         return TextField.new(self, how, what)
8       end
9     end
10
11     class TextField < Watir::TextField
12       def doKeyPress( value )
13         begin
14           maxLength = @o.maxLength
15           if value.length > maxLength
16             value = suppliedValue[0 .. maxLength ]
17             @ieController.log " Supplied string is #{suppliedValue.length} chars, which exceeds the max length (#{maxLength}) of the field. Using value: #{value}"
18           end
19         rescue
20           # probably a text area - so it doesnt have a max Length
21           maxLength = -1
22          end
23
24         Cn.characters_in(value) {|c|
25           sleep @ieController.typingspeed
26           @o.value = @o.value.to_s + c
27           fire_key_events}
28       end
29     end
30
31     def Cn.characters_in(value)
32       index = 0
33       while index < value.length
34         len = value[index] > 128 ? 2 : 1
35         yield value[index, len]
36         index += len
37       end
38     end
39   end
40 end

��试一下：

require 'watir-cn'

ie = Watir::Cn::IE.start('http://www.google.com')
ie.text_field(:name, 'q').set('Ruby Watir 功能��试'

成功。最后一步是贡献�C�֌��Q�直接登到rubyforge�Q�找到Watir然后submit了两个patch�Q�一个直接修改watir库的一个是独立的watir-cn的。推荐大家��用第二个的patch。地址在：http://rubyforge.org/tracker/index.php?func=detail&aid=3232&group_id=104&atid=489

Raimundox 2006-01-11 11:30 发表评论

A Day of Two Pragmatic Programmers' Life

Raimundox — Tue, 10 Jan 2006 13:30:00 GMT

今天我和WPC被迫�z��了一个很nonsense的活�Q�客��L��了我们两份名单，让我们对照我们SSO中的用户数据做一下数据维护，如果有的用户在SSO中没有就加进来；要是SSO中有�Q�看一下OA里有没有�Q�如果OA里没有写一个列表让OA的同志们�ȝ��护数据。本来是一个很枯燥的活�Q�好在WPC和我都是pragmatic programers�Q�于是生�z�d��得有乐趣多了�?BR>解决�q�个问题最直接的做法，��是login到SSO�q�_��上，然后一个用户一个用��L��search�Q�search完了再用OA Admin登陆查OA帐户。我们是pragmatic programmer嘛，�q�么�J�琐的活动自然写�E�序搞定它。自然��Q��C��个选择�Q�Ruby Watri�Q�还有就是��自俺们公司的Selenium Script�?BR>上来先用Ruby Watri�Q�这个东西好啊，��单啊。WPC找了一个以前写的example, 我照着改了一个用��L��search�Q�然后扩展：

1 # login in as sso admin
2 ie = Watir::IE.start(sso_login_url)
3 ie.text_field(:name,"username").set(sso_admin_user)
4 ie.text_field(:name,"password").set(sso_admin_pass)
5 ie.button(:value, "��d��").click
6
7 # search user
8 ie = Watir::IE.start(sso_search_url)
9 ie.text_field(:name, "userName).set('张三')
10 ie.button(:value, "查找").click

跑到command line run一把，ruby login.rb�Q�然后一个古怪的事情出现�?BR>

ie.text_field(:name, "userName).set('张三')

userName输入框highlight了一下，然后没有�?..��N��是编码问题？换了encoding重新save了一把，�l�果一栗��郁�?..于是我和WPC��x��?..Ruby中文有问题，不管了时间紧�q�，换Selenium Test�Q�自家的东西嘛。但是Selenium的Script是HTML-based的，写�v来太�ȝ��。我们是pragmatic programmer嘛，�q�么�J�琐的活动自然写�E�序搞定它。于是我来搞一个ScriptGenerator�Q�WPC同志搞script template。一搞template WPC同志��比较兴奋，大喊:velocity�Q?velocity�Q�哎�Q�我机器上没有velocity的library�Q�于是我军_��pragmatic一把，直接writer output。找了一个Selenume Script Demo�Q�在每行前面加上aaaa,每行末尾加上bbb�Q�然后ctrl + f,aaa->writer.write(" bbb->"); 改几�?�Q�introduce parameter, extract method, compose method飞快地重构之�Q�一个hard code的generator引擎诞生了。WPC�q�在调template�Q�我看了一下代码，蛮ugly的，refactory之：

1     private static String scriptTemplate;
2
3     public static void readScriptTemplate(String templateName) {
4         BufferedReader reader = null;
5         try {
6             reader = new BufferedReader(new FileReader(templateName));
7             String line = null;
8             StringBuffer template = new StringBuffer();
9             while ((line = reader.readLine()) != null)
10                 template.append(line).append("\n");
11             scriptTemplate = template.toString();
12         } catch (IOException e) {
13
14         } finally {
15             if (reader != null)
16                 try {
17                     reader.close();
18                 } catch (IOException e) {
19                 }
20         }
21     }
22
23     public static void generatedScriptForUser(String path, String name) {
24         Writer writer = null;
25         try {
26             writer = new BufferedWriter(new FileWriter(path + "/" + name
27                     + ".html"));
28             writer.write(scriptTemplate
29                     .replaceAll("\\$\\$userName\\$\\$", name));
30         } catch (IOException e) {
31             e.printStackTrace();
32         } finally {
33             if (writer != null)
34                 try {
35                     writer.close();
36                 } catch (IOException e) {
37                 }
38         }
39
40     }

一下子��了无数代码�Q�爽多了。然后wpc也搞好了template�Q�按模版文�g一generating�Q�几十个selenium test script��出��C��。嗯�Q�write program that write program�Q�有够pragmatic�?BR>
写了一个Test Suite�Q�放到改一下Selenium Runner下跑一下又�?c��)��了。Selenium做的Functional Test�Q�一般假定和被测的应用在一个URL base里，因此�q�样local“测”remoting��׃��太好�Q�而且我们又是一个安全��^収ͼ�URL base做安全基准的。一下就所有测试就crackdown在这里了。郁闷啊...
Selenium文��Q�发现可以用driver来adpater local和remoting的环境，问题是这个drvier要自己写...郁闷...
WPC在firefox上装了一个Selenium Recorder的plug in可以记录web page actions�Q�然后replay。他发现�q�个东西能绕�q�Selenium的限�Ӟ��于是军_��看看他怎么实现的，扑ֈ�code一�?..原来是把selenium runner hack�?..用javascript把url base生生的给改了...WPC说好啊，我们写一个Firefox Selenium Recorder Plugin的plug in吧，让他从一个目录里自动load script...然后WPC开始玩firefox plugin.

我决得我�q�是看看Ruby的中文支持吧�Q�找来找去都没有说Ruby的中文有问题的，后来发现一个老大��了一下Ruby的中文字�W�串�Q�说没问题。我忘了�q�个老大的URL了找到再补上。代码上看�v来似乎也没什么问题。于是我怀疑是Watri的问题，看Watri的代码，发现Watri的设计思�\��是��Z��模拟人的录入�Q�然后找到这��L��代码�Q?BR>

def doKeyPress(value)

for i in 0 .. value.length-1
   sleep @ieController.typingspeed   # typing speed
   c = value[i,1]
   #@ieController.log  " adding c.chr " + c  #.chr.to_s
   @o.value = @o.value.to_s + c   #c.chr
   fire_key_events
end

end

�Ҏ(gu��)��讑֮�的�g时模拟�h敲击键盘。每一个间隔用String slice来输入。于是我试验了一下ruby的中文字�W�串切片�Q?BR>

1 value = "哈哈"
2 for i in 0..value.length-1
3 puts value[i,1]
4 end

Ruby果然瞎菜�?..value.length�?�Q�每一个切片都是空...啊~~~~天啊�Q?bit char...C的时代啊。找��C��问题��好办了�Q�我权衡了fix watri unicode和直接hack它，最后我选择直接hack它，�Ҏ(gu��)��单：

1 if @ieController.typingspeed != -1
2   for i in 0 .. value.length-1
3   sleep @ieController.typingspeed   # typing speed
4   c = value[i,1]
5   #@ieController.log  " adding c.chr " + c  #.chr.to_s
6   @o.value = @o.value.to_s + c   #c.chr
7   fire_key_events
8   end
9 else
10   @o.value = value
11   fire_key_events
12 end

然后��试一下：

1 require 'Watir'
2
3 ie = Watir::IE.start("http://www.google.com")
4 ie.typingspeed = -1
5 ie.text_field(:name, "q").set("哈哈")

搞定。于是准备改Ruby脚本�Q�这个时候客户下班了�Q�我们决定明天��l�，一��q��?��时...

最后说一下需求，一共有多少数据呢？70�?..如果pair录入的话�Q�大�U?0-50分钟�?BR>
�l�论:

1.Pragmatic Programmer都是很懒的，重复5�ơ的工作都回用代码来写�?BR>2.Pragmatic Programmer都是很有好奇心的�Q�太多的重复性劳动只能分散他们的注意力，不知道会搞出什么了�Q�我估计我要没有hack Watri�Q�WPC已经开始写Firefox plugin了�?BR>3.Pragmatic Programmer都是“古�E�序员”，写程序操�U�计��机是很有乐��的�?BR>4.比一个Pragmatic Programmer更能折腾的是两个Pragmatic Programmer...

Raimundox 2006-01-10 21:30 发表评论

丧钟��?(4)

Raimundox — Wed, 21 Dec 2005 07:51:00 GMT

�W?. 一切皆对象和面向对象的理论基础

老庄是反对一切皆对象的，而TrustNo1在javaeye的一��帖子上�?

�W�一�Q�我可以很负责的�?OO的，70�q�代成型�Q?0�q�代在理论基��上就�l��h毙掉。从�q�种意义上说不是OO��M��ȝ��问题�Q�而是OO�q�活着么？当然理论基础�l��h毙掉�Q�不是说没有用�?/SPAN>

我先说面向对象的理论基础的问题，至于一切皆对象�E�后再表�?BR>
所谓面向对象的理论基础其实是没有的�Q�原因很��单，面向对象�Ҏ(gu��)��׃��是一�U�计��模型。在�W�一�ơ��Y件危机的那个时代�Q�对与计��机的非数��D��应用的讨论以及对于可计��性问题的研究和发展，大抵��立了几�U�主��的计算模型�Q�递归函数�c�，囄��机，Lambda演算�Q�Horn子句�Q�Post�pȝ��{�等�?BR>
其中递归函数�c�L��可计��性问题的数学解释;囄��机是囄��解决可计��问题的时候所设计的装�|�，其后成�ؓ计算机的装置模型�Q�与囄��机相关的形式语言和自动机成�ؓ了命令式语言的理论基��;lambda演算成�ؓ了函数式语言的理论基��;Horn子句是prolog�q�类逻辑语言的理论基��。但是我们惊讶的发现�Q�面向对象没有计��模型的理论基础�Q�换而言之，面向对象�Ҏ(gu��)��׃��是从可计��性的研究上发展过来的�Q�那么面向对象的理论基础的�h(hu��n)值本�w�就不大�?/P>

所以我很奇怪的一个问题就是TrustNo1所谓的面向对象�?0�q�代理论基础上给人毙掉的说法是从何而来的？既然面向对象本质上不是一�U�计��模型，那么它大抵上只能归结��Z��U�应用技术，应用技术自然可以从各种不同的领域里得到�怼�的应用，那么毙掉的理论基��所指的又是什么呢�Q�甚怪之�?/P>

既然面向对象不是一个计��模型，那么我们可以从不同的角度推断出OO的各�U��Ş态，老庄已经出给了从ADT引出OO的问题以及例子，我就不罗嗦了�Q�我�l�一个从Functional Programming出来的例子，其实��是SICP里的Data as Procedure�?/P>

(define (make-user name age sex)
  (define (dispatch message)
     (cond ((eq? message 'getName) name)
           ((eq? message 'getAge) age)
           ((eq? message 'getSex) sex))
           (else (error 'messageNotUnderstand))))
  dispatch)

然后我们��可�?/P>

(define vincent (make-user 'Vincent 24 'Male))
(vincent 'getName)

自然的，如果我调�?/P>

(vincent 'sayHi)

会得��C��个messageNotUnderstand的runtime错误�Q�这��是一个很自然dyanmic type的对象封装，最早的面向对象�pȝ��Smalltalk和CLOS基本上都是这个�\子，于是有一个问题，��Z��么最早的面向对象�pȝ��都是dyanmic type�Q�这里就跟lambda演算有关了�?/P>

lambda演算�q�个计算模型�Ҏ(gu��)��的一个假讑ְ�是，对于��M��一个定义良好的数学函数�Q�我都可以��用lambda抽象来表�q�C��的求��|��因此无论是什么东西你能够构造lambda抽象的话�Q�我��p��计算。这个地方东西很多，大家可以找找lambda演算相关的资料，�q�里我说三�g�?�׃��lambda太难输入�Q�我用scheme�E�序代替�Q�然后由于alpha变化�Q�beta规约和eta规约我也用scheme伪码来模拟�?

�W�一个是数值的表述�Q�其实这个很��单，不考虑丘奇代数的系�l�的话，我们可以把数��D��C�成单值函�?

(define one (lambda (x) 1))

�q�个东西无论�l�什么x都返�?�Q�然后根据lambda演算里的alpha变换�Q�这个lambda抽象�{��h(hu��n)于数�?。因此，对于所有的数��|��我们可以按lambda演算处理�?/P>

�W�二个是bool的表达，也就是如何逻辑�q�行lambda抽象�Q�下面我直接�l�出了，�~�省认�ؓ大家都看了SICP�Q�对Scheme也颇有心得�?/P>

(define true-new (lambda (x y) x)) ;;;�q�个函数也叫select-first
(define false-new (lambda (x y) x));;;�q�个函数也叫select-second

(define if-new (lambda (conditon if-true if-false) (condition if-true if-false)))

然后我就可以做一个测�?/P>

(if-new true-new 3 4)
3

(if-new false-new 3 4)
4

因此�Q�对于所有bool我们可以按lambda演算来处�?/P>

�W�三个是自定义类型，�q�里我们�q�是先看一个Lisp里的例子�Q�序寏V�?/P>

(define (cons a b) (lambda (dispath) (dispatch a b)))
(define (car list) (list select-first))
(define (cdr list) (list select-second))

�q�里依旧是high-order�Q�我们来��试

(define list1 (cons 1 2))
(car list1)
1
(cdr list1)
2

�q�里大家自己用beta规约��一下，��发现的��是�q�样的。这里我们又可以看到�Q�在lambda演算里，�Ҏ(gu��)��没有数据或者类型。有的永�q�各�U�各��L��lambda抽象而已(目前已经有了带类型的lambda演算)。这里说一句题外话�Q�SICP里的Data as Procedure其实��是在说�q�个问题�Q�不�q�他没明��_��而是用了一�U�特�D�的用法而引��Z��消息传递风��|��我觉得这里SICP有些��此失彼�Q�对于data as procedure我�ȝ��的一般�Ş式是

(define (construct-function value1 value2 value3 value4valuen) (lambda (dispatch) (dispatch value1 value2 value3 value4valuen)))
(define (select-function1 data) (data select-first))
(define (select-function2 data) (data select-second))
.
(define (select-functionn data) (data select-last))

�l�g��所�q�ͼ�我们看到在lambda演算里，一切都是lambda抽象�Q�然后对于不同的lambda抽象使用alpha变换�Q�beta规约和eta规约�Q�表�q�各�U�不同计��。看�Q�在面向对象之前��已�l�有了一切皆某某的完��的计算理论存在了。而且回顾一下：

我们有理��p��Q�对象其实就是一个lambda抽象�Q�所以一切皆对象不过是一切皆lambda抽象的演化，�q�也是�ؓ什么SICP里把面向对象�U�C��一�U�“方便的界面”而不是一�U�抽象的�Ҏ(gu��)��的原因了。那么对象和lambda抽象又什么区别呢�Q?BR>
嘿嘿�Q�熟�(zh��n)�FP的�h都应该知道了�Q�就是Side-Effect�Q�副作用。对象允许对其内部状态进行修改，那么�q�个东西��q��化了eta规约的前提条�Ӟ��也就是说允许修改内部状态的东西�Q�已�l�不是一个可以进行lambda计算的lambda抽象了。因此暂且给一个别的名字吧�Q�就叫对象吧.....因此我认为，对象很大�E�度上是一�U�带有副作用的lambda抽象�?/P>

我在有一��blog上写了Say sorry to object-oriented�Q�里面给了一只用对象作分支的例子�Q�这里就不重复了�Q�有兴趣大家可以�ȝ��一下（刚才好像在JavaEye上看��C��个说法，说Everything is Object是Smalltalk的广告语�Q�唉�Q�Smalltalk里的的的��确everything is object啊。）

�q�里我们来�ȝ��一下，面向对象作�ؓ一�U�“方便的界面”主要解决了一个局部化和模块化的问题，�q�是从lambda演算和函数编�E�的角度来看面向对象技术。（taowen在他的一��blog上说�Q�面向对象局部化了Side-Effect�Q�我�׃��为然�Q�，�q�个东西我个��为更加接�q�面向对象本来的意思，而不是由ADT里发展出来的带类型的对象�pȝ��的那个意思。因此老庄不以为然的面向对象类型系�l�，我也不以为然。但是面向对象作为lambda抽象的界面，我觉得还是很不错的。这一点在Smalltalk和Ruby里都有不错的体现�?/P>

Raimundox 2005-12-21 15:51 发表评论

丧钟��鸣？(3)

Raimundox — Tue, 20 Dec 2005 16:44:00 GMT

�W? �l�承

前面已经说过了，�l�承臛_��?个语�? 实现�l�承和类型��承，在说明这两个东西之前�Q�我们��l�来看上面的例子

Person>>playSoloOnInstrument:instrument
  instrument playNote: Note C;
             playNote: Note D;
             playNote: Note E.

Person>>playBackgroundOnInstrument:instrument
  instrument playChord: Chord C1;
      playChord: Chord C1;
             playChord: Chord C1;

Person>>playBWV996OnInstrument:instrument
   instrument playNote: Note C;
              playChord: Chord C;
              playNote: Note D.

现在我们看playBWV996�q�个消息�Q�BWV996是Bach所写一个鲁特琴�l�曲�Q�鲁特琴是弹拨乐器，同时也是和声乐器(所谓和��C��器就是可以演奏和�?。在很多乐器上都有改�~�的版本�Q�比如鲁特琴的近亲吉他等�{�，�q�个时候，我们可以实现�q�样几个�c?/P>

Lute>>playNote:note

Lute>>playChord:note


Guitar>>playNote:note

Guitar>>playChord:note


Bass>>playNote:note

然后我们可以��试以此调用

vincent.playBWV996OnInstrument: Guitar new.
vincent.playBWV996OnInstrument: Lute new.
vincent.playBWV996OnInstrument: Bass new.

最后一个会得到一个messageNotUnderstand的错误。也��是��_��对于Bass而言�׃��不能演奏和声从而不能演奏BMV996(不过�q�个世界上能人太多了...�?�Q�我们换到静态类型面向对象系�l�来看�?BR>对于�W�一个方法，playSolo的时候我们要求的�c�d��是能够演奏单音的。我们可以写出来

1interface SoloInstrument {
2 SoloInstrument playNote(Note note);
3}

对于�W�二个方法，playChord的时候我们要求的�c�d��是能够演奏和弦的�Q�我们可以写出来

1interface ChordInstrument {
2 ChordInstrument playChord(Chord note);
3}

而对于第三个�Ҏ(gu��)��Q�playBWV996的时候我们要求既能演奏和弦也能演奏单韻I��q�个时候出��C��个问题，我们怎么处理Instrument的��承关�p?一个能演奏和��u的乐器是否可以演奏单�?�{�案是一般而言是的�Q�但是也不排除有一些不是这��L��)?�q�是我们��单的�?

1interface SoloAndChordInstrument extends SoloInstrument, ChordInstrument{
2}

或�?/P>

1interface BWV996Playable {
2
3 BWV996Playable playNote(Note note);
4 BWV996Playable playChord(Chord note);
5}

对于动态类型简单的隐性类型约定，昄��的类型系�l�带来的一个副作用��是我们必须处理�c�d��之间的关�p�R�?STRONG>注意�q�里是类型之间的关系�Q�而不是对象之间的关系。老庄同志批了很多��的面向对象的抽象，面向对象的类型系�l�以及面向对象的本体论，其实都在是在�c�d��关系上折腾，而不是在对象关系上折�?/STRONG>。而事实上面向对象�?STRONG>�c�d��pȝ��q��必然��是静态类型系�l�，而我们的�c�M��间的关系不一定就和类型的关系�怸�致�?/STRONG>��像上例所�C�，在Smalltalk里，Lute�Q�Guitar和Bass之间没有��M��的��承关�p�，但是对于person�?个消息而言�Q�它们却是有�c�d��的�?BR>
因此老庄所批的�Q�是对象�c�d��pȝ��的抽象能力，而非面向对象的抽象能力。正如他在类型系�l�里所�l�的例子�Q�那张他认�ؓ很失败的面向对象的图�Q�其实可以完全不依赖�l�承来实玎ͼ�而对�q�个�c�d��pȝ��的消费者而言�Q�他们能够以一定的�c�d��的观点，来处理这个系�l�的对象�?/P>

而老庄最后一个结�?

我的�l�论是：“一个类型，是由其本质决定了所能表现出的可操作性，而不是有其所能接受的操作军_��了其本质。然而，OO正好把这个问题搞反了�Q��?/SPAN>

我的看法是，�q�句话根本就是诡辩，前面半句的主语是“一个类型”，后面半句的主语是"OO"...

虽然前半句是对的�Q�但是换一栯��法可能更�?"所能接受的操作反映了其本质"�Q�面向对象本�w�就没有说我要做一个本质抽象，�q�一点在Smalltalk的类型判断操作上的可能是一个佐证，Smalltalk用isKindOf来判断��承关�p�，我们来玩一个文字游戏，�Ҏ(gu��)��俚语��是kinda�Q�也��是"有一点，有几�?的意思，而不是说�Q�“就是”，或者“从分类学上可证明之�cȝ��含义”。我再�D一个龌龊的例子�?/P>
vincent ballon: AirBallon new.
vincent ballon: Condom new.

气球和保险套�Q�对于ballon�q�个�Ҏ(gu��)��而言是一个类型，都是"有几�?可以吹�v来。但是我怎么定义一个精��的本质�Q�Ballonable�Q�还是MakeFromLatexAndVeryThin?或者简单说FlexableAndThin�Q?/P>
在��承这一点上�Q�我惌��庄引文�?Elminster的话是从事物的特征与属性归�U�_��它的“类型”。恰恰对于静态类型面向对象系�l�是可行的。如我前文所�q�ͼ�我把一个object和所有sender的约定（也就是interface�Q�，�l�承在一��P��恰恰��是一个颇为恰当的�c�d��定义�?BR>
而对于动态类型系�l�里的面向对象语�a��Q��承的也有�c�d��l�承的含义，但是�q�不是唯一的途径。用一句我们常说的话，在静态类型系�l�里�Q�类型和�c�L��紧耦合的，动态类型系�l�中他们的耦合比较松�?BR>
从此而观�Q�所有对于面向对象的哲学考虑以及本体的思考，对于动态面向对象系�l�已�l�不是那么迫切了。而把对象�c�d��pȝ��的不��_��咎于面向对象的不��I��也似乎论据不��?/P>

Raimundox 2005-12-21 00:44 发表评论

丧钟��鸣？(2)

Raimundox — Tue, 20 Dec 2005 16:22:00 GMT

�W? 关于"接口"

关于接口的问题老庄说对了，�q�个东西�q�不属于面向对象的概念，而且在动态类型面向对象语�a�(比如Ruby, Smalltalk�?�Q�根本没有这个东�ѝ��这是一个纯�_�的静态类型面向对象语�a�的特性，或者直接说�Q�接口就是一个纯�c�d��(Type)。还是上�ơ的例子�Q?/P>
1interface Instrument {
2   void playNote(Note note);
3   void playChord(Chord chord);
4}
5
6in Person Class
7
8void playSolo(Instrument instrument) {
9
10}

在我接触Smalltalk的最开始的一�D�|��间里�Q�这�U�地�Ҏ(gu��)��让我最隑֏��Q�我已经习惯了用�c�d��辅助我的思维�Q�但是我发现我在Smalltalk里做不到�Q�虽然我可以写出

Instrument>>playNote:note
  ^self subclassResponsibility.

Instrument>>playChord:chord
  ^self subclassResponsibility.

但是他却不是一个接口，我可以很�?/P>
instrument = Instrument new.
instrument playNote: Note C.

来构造一个Instrument之后在它之上调用playNote�Ҏ(gu��)��Q�然而我会得��C��个messageNotUnderstand的错误，Smalltalk和Ruby里没有Abstract的概��c��也��是说abstract method�Q�abstract class以及interface�Q�都不是面向对象的概念（或者严��g��些说�Q�都不是面向对象的必��ȝ��概念�Q�，而是面向对象�c�d��pȝ��的概��c��那么在Smalltalk里我们会怎么做呢�Q?/P>
Person>>playSoloOnInstrument:instrument
  instrument playNote: Note C;
             playNote: Note D;
             playNote: Note E.

Person>>playBackgroundOnInstrument:instrument
  instrument playChord: Chord C1;
                      playChord: Chord C1;
                      playChord: Chord C1;

对于playSoloOnInstrument:instrument�Q�我们对于instrument的类型是有要求的�Q�就是它必须能够接受playNote�q�个消息。当然这个类型需要是隐性，我也可以对等的写出静态面向对象的代码把这个隐性的�c�d��昄��的表�C�出�?

1interface Instrument {
2   Instrument playNote(Note note);
3}

同样对于�W�二个方法我们也可以写出�?

1interface Instrument {
2   Instrument playChord(Note note);
3}

如果我们需要多于一个的消息也是一��L��Q�比�?/P>
Person>>playBWV996OnInstrument:instrument
   instrument playNote: Note C;
              playChord: Chord C;
              playNote: Note D.

同样�q�个时候隐性的�c�d��需要就�?/P>
1interface Instrument {
2   Instrument playNote(Note note);
3   Instrument playChord(Note note);
4}

那么接口是什么呢�Q�我�l�出一个不��切的说法，interface是一个消息的发送�?sender)和一个消息的接受�?reciver)间的一�U�类型的�U�定�Q�也��是说在我看来interface的用处主要在�l�粒度的昑ּ��c�d��U�定。我有一个同事，每次写代码都��Z��个Test Case所要测试的对象定义一个interface�Q�每个interface都只�?-3个方法（lx同学�怽��?D�Q�，�q�是很得interface之三味的用法。这�U�的做法对于在静态的面向对象�pȝ��的好处我们在�l�承里再��?/P>
至于老庄所说的接口是多�l�承的一�U�代替品�Q�这只不�q�是世俗的看法，在静态类型的面向对象里，�l�承臛_��?个语�?

1.实现�l�承�Q�这个在Smalltalk�Q�Ruby�Q�C++里有�Q�而在java里没有，C++里是通过private extends来实现的

1class SubClassA: private ImplementationParent {
2}

�q�也是C++里�ؓ��C��多的subclass不是subtype的例子�?/P>
2.�c�d��l�承�Q�这个在C++和java里有�Q�而在smalltalk,ruby有却不明显�?/P>
�c�d��l�承的极致就是C++里的�U�虚父类

1abstract class Parent {
2
3  public asbtract void method1() = 0;
4  public asbtract void method2() = 0;
5}

也就是java里的interface

1interface Parent {
2   void method1();
3   void method2();
4}

因此�Q�也��明了了�Q�所谓“面向接口编�E�”是以类型作为约定的�~�程。我觉得�q�点大家一定不陌生�Q�面向接口的�~�程里interface都很��而且�U�定明确。但是要说明一点的是，�q�个东西�?面向抽象而不要面向具体编�E?其实�q�不一��P��所以这个东西也��׃��仅能��是静态类型面向对象的一个惯用法�Q�还��C��了原则这么高�?/P>

Raimundox 2005-12-21 00:22 发表评论

丧钟��鸣？(1)

Raimundox — Tue, 20 Dec 2005 11:58:00 GMT

开��之前先说明一下，我和老庄有着不错的私交，他最初写丧钟�p�d��的时候，我是忠实的拥��怹�一�Q�庄兄见我尚有寸��所长，�q�在丧钟�p�d��里引用了我的几个观点。然而最�q�一�D�|��间里�Q�我作了�q�样几�g事情�Q?/P>
1.重新学习了lambda演算。我的数学基��不及taowen�{�，费了一些时日仍不完全了�Ӟ��目前大抵能对着R5RS后面的语义定义对一些简单的scheme�E�序�q�行lambda演算�?BR>2.反复研究了几遍SICP。同时看了录像和书（感谢曹老师下的Video�Q�，自信对前二章半有些许认识书中未及�Q�后二章半粗知大览尚不能发前人所未发之言�?BR>3.学习了Smalltalk和Ruby�Q�Duck Typing以及其他一些有关类型系�l�的东西�?BR>4.回顾了一下面向对象语�a�的一些发展史�Q�以史�ؓ鉴粗知一些兴�ѝ�?BR>5.�l�日和taowen�Q�老庄讨论语言、设计等�{�之�c�，每�ؓ一辨必�I�h��所知争发一�a��Q�所以知识可以迅速杂�p?D

�l�过�U�种之后�Q�发现当初所谓鸣OO之��钟，实在是言�q�其实�?BR>--------------------------------------------------------------------------------------------------------------------------------------------------------------
�W? 关于"面向对象"

既然要�ؓ人家敲��钟，先要扑֯�了苦主，不然岂不是白忙活了一场。什么是面向对象�Q�这个问题太大，我们举一个很常见的例子：

interface Instrument {
   void playNote(Note note);
   void playChord(Chord chord);
}

abstrat class Keyboard implement Instrument {
  ..
}

class ClassicGuitar implements Instrument {
   .
}

class Piano extends Keyboard {
  ..
}

in person class

void playSolo(Instrument instrument) {
   instrument.playNote(AbsoluteNote.C1).playNote(AbsoluteNote.C2);

}

void playBackground(Instrument instrument) {
   instrument.playChord(Chord.C5).playChord(Chord.C9);

}

in some case

ClassicGuitar perez711= .
Piano pianoHere = .

vincent.playSolo(stenzel);
may.playBackground(pianoHere);

etc.

�q�个例子自然很不充分�Q�不�q��承啊�Q�接口啊�Q�多态啊�Q�略丑֤�概，��可以作��Z��个讨论的例子。从�q�个例子里，我们发现有这样一个事实，��是Person�c�L��两个�Ҏ(gu��)��

void playSolo(Instrument instrument);
void playBackground(Instrument instrument);

分别表示�Q�需要一个类型�ؓInstrument的对象instrument�Q�然后对他进行相应的操作�Q�而且�Q�从概念上来�Ԍ��W�一个方法，使演奏旋律的�Q�也��是单音�Q�而第二个�Ҏ(gu��)��是演奏和声的。那么，如果我有一个类

class GlassBottle {

   void playNote(Note note) {
      ..
   }
}

我们知道�Q�玻璃瓶装了水也是可以发出声韻I��Mozart可是为玻璃瓶写过曲子的，而这里我们却不能

GlassBottle beerBottle = .
vincent.playSolo(beerBottle);

因�ؓ我们在构造Person�cȝ��时候，我们的play�Ҏ(gu��)��是依赖一个类型�ؓInstrument的Object�Q�换而言之，我们�q�里所谓的Object-Oriented其实�U�C��Object-with-Type-Oriented的更合适，其实�q�类语言有一个专有名词，叫做static type object oriented。那Object-Oriented是不是就一定是Static Type Object Oriented的呢�Q�不�Ӟ��比如在Ruby里，我们可以写成�Q?/P>

class Person
  def playSolo(thing)
     thing.playNote(Note.C1).playNot(Note.c2)
  end
  def playBackground(thing)
     thing.playChord(Chord.C5).playChord(Chord.C9)
  end
end

class Guitar
  def playNote(note)

  end
  def playChord(chord)

  end
end

class GlassBottle
  def playNote(note)

  end
end

然后��可�?/P>

perez711 = Guitar.new
vincent = Person.new
vincent.playSolo(perez711)

同样也可�?/P>
vincent.playSolo(GlassBottle.new)

在这里，�c�d��可以推演也可以留到runtime��查，如果是推演的话，在playNote里，�׃��thing调用了playNote�Ҏ(gu��)��Q�所以传�q�来的对象必��要��L��接受playNote�q�个消息�Q�于是Guitar和GlassBottle都是可以通过�Q�因此我卛_��以演奏我的Perez 711�Q�也可以敲玻璃瓶。这�U�方式叫做dynamic type�?/P>
那么static type和dynamic type区别在那呢？static type认�ؓ�Q�class��是type�Q�type��是class; subclass��是subtyping�Q�subtyping��是subclass(其实�q�句不严谨，在c++里可以��得subclass不是subtyping�Q�但是java里就没办法了);而dynamic type则认为类型和class没有关系�Q�类型取决于一个对象能够接受的消息�?/P>
那么哪个才是面向对象之真貌呢�Q�遗憄��_��static type�q�不是最初的面向对象。以对象作�ؓ模块化的单位�Q�始自Simula 67。但是Simula 67�q�不是一个面向对象系�l�，以目前的观点来看�Q�充光��是Object-based�Q�第一个面向对象语�a�当推Smalltalk�Q�Smalltalk是dynamic type的。不�q�Smalltalk不太��行�Q�第一个大面积��行的面向对象语�a�是C++�Q�C++是static type的，正如Lisp是第一个函数式�~�程语言�Q�很多Lisp的特性被当作函数式语�a�的共有特�?比如表是最重要的数据结构，轻语�?一��P��所以很多�h以�ؓ面向对象��必然是static type�Q�比如老庄和我�Q�。对于面向对象的误解�Q?0%来自C++。也��是��_��80%来自于static type的面向对象系�l�。将static type面向对象归咎于整个面向对象，我辈实在是大而无当言�q�其实�?/P>
后面我再一一��老庄所�a�之OO不当之处加以说明

Raimundox 2005-12-20 19:58 发表评论

A Walk on JSR220

Raimundox — Mon, 12 Dec 2005 03:08:00 GMT

从BJUG的maillist里发掘一个我以前的旧帖出来，嘿嘿

以前我和limo同志做过一个Hibernate技巧情色版....嘿嘿�Q�这�ơ发动大家收集一下J2SE 5和JSR 220里的改进design的tips.我下午试�?SPAN class=st0 id=st name="st">JSR220的时候，扑ֈ�几个

1. Implement Moment-Interval and Moment-Interval-Details Using Iterable

例子�Q?比如Order和OrderItem�Q�典型的一对多�Q�一般我们这么做

1class Order {
2
3  private List<OrderItem> items;
4
5  public List<OrderItem> getItems() {
6
7  }
8}

在J2SE5里面�Q?/P>
1class Order implements Iterable<OrderItem> {
2
3       private List<OrderItem> items;
4
5       public Iterator<OrderItem> iterator() {
6               return items.iterator;
7       }
8
9      public int getItemCount() {
10
11      }
12      // and addItem removeItem and others
13}

��可以直接来处理�Q?/P>
1for (OrderItem item : order) {
2}

从某�U�程度上利用enhanced for的语法，来简化语法�?BR>
trade-off: 不适合多个details 聚合�Q�适合于简单的moment-interval和moment-interval-details�?BR>
2. Annotate Description with @Embeddable, and the Thing it describe with @Entity

例子�Q�Product和ProductDescription

1@Embeddable
2class ProductDescription {
3  private String name;
4  private String description;
5  . and getters and setters
6}
7
8@Entity(access = AccessType.FIELD)
9class Product {
10  private ProdcutDescription description;
11}

�?SPAN class=st0 id=st name="st">JSR220里，如果一个field是embeddable�Q�而且对该field没有标注为@Transite,以及使用keyword transite,自动按Embedded处理�Q�这一�Ҏ(gu��)��很方�?WBR>的�?BR>
�q�个基本没发现trade-off

3. Avoid Database Primary Key in Domain Model Using @EmbeddableSuperclass

例子�Q�在hibernate里，��L��要给Domain加一个primary key�Q�非常的不爽.
虽然也可以通过�l�承�l�构来避免，但是配置文�g太多�Q?JSR220里，通过自动处理的annotation �Q�可以节�U�很大的工作量�?BR>

1@EmbeddableSuperclass
2class DomainModel {
3//  modeling your model here
4}
5
6@Entity
7class PersistentDomainModel extends DomainModel {
8
9   private long primaryKey;
10}

�q�个大家��׃��目了然了

4. Avoid Database Field in Domain Model Using @AttributeOverride

Annotation虽然��化了开发，但是仍然有一个问�?WBR>�Q�就是修改mapping的时候需要修改代码，�q�个很不�?WBR>�Q�而且影射的时候需要在domain里硬�~�码field
name�Q�这个简直就是恶心，但是�q�是由办法避免的�?/P>
1@EmbeddableSuperclass
2class DomainModel {
3//  modeling your model here
4}
5
6
7@Entity
8@AttributeOverride(name="property", column=@Column(name="fieldName"))
9class PersistentDomainModel extends DomainModel {
10
11   private long primaryKey;
12}

同样�Q�通过�l�承来隔��L��术和Domain�Q�然后在子类里作部��v�?WBR>关的动作。然后把DomainModel和PersistentDomainModel 分包�Q�针对DomainModel�~�程�Q�就O(ji��n)k�?WBR>。这个时候Domain会异常的�q�净.....

5. Model Place as Factory

其实�q�个是一个通则�Q�以前好像也讨论�q��?/P>
1public interface Store {
2  Order newOrder();
3  // and others;
4}

基本上下�?个小时的成果��p��么多�Q�我是在��试�?SPAN class=st0 id=st name="st">JSR220 API代替以前我和limo写的那个珍珠商城订单部分得到的一�?WBR>tips。��M��而言�Q?SPAN class=st0 id=st name="st">JSR220�q�是挺好的，我们可以很自然的�q�用一些模式和OO的手�D�还避免它的不��。同时上�q�做法在hibernate里也可以做，但是�׃��比较�ȝ��Q�大家一般还是做不到�?SPAN class=st0 id=st name="st">JSR220里，正是通过它的毛病��我们�q�么�?....�Q�汗�Q�，也算体现出约定了�?/P>

Raimundox 2005-12-12 11:08 发表评论

Why Inconsistent Concepts Considered Harmful

Raimundox — Fri, 09 Dec 2005 18:17:00 GMT

��tao�l�我找了一个非常好的题�?

so, you think the consistent thing means a lot? But how do you think the gracious or elegant feeling mean to the real expressiveness of business requirements? We can see lisp is very successful in researching area because of the simplicity nature inside which is also true to Smalltalk. But why they aren't successful in biz world? I think that is the problem you should further study, "how can the consistent feeling mean something to our everyday programming life?".

我承认以前没有考虑到这个问题，因�ؓ我以��求概念一致性是一�U�不�a�自明的天性。那么�ؓ什么要一致性很重要呢？我有�q�样一些想法�?/p>
1. 复杂�?/p>
概念不一致��生首先��生的一个恶果就是复杂性，�q�里我将举两个例子�?br>
�W�一个关于Lisp的。Lisp本��n��h��一个很一致很��单的计算模型——�?演算。在�q�个计算模型中，基本元素是函敎ͼ�λ�q�算�W�，·�q�算�W�。语义也是简单明��的�Q�lambda�q�算�W�提取出函数中的自由变量�Q�然后再由apply对自由变量赋倹{��整个计��过�E�就是函敎ͼ��W�号�Q�求值的�q�程。例如对于函数x + y�Q�我们可以这��h��求倹{�?/p>
((λx (λy . x + y)·3)·4)
=((λx. x+3)·4)
=4 + 3
=7

�׃��Lisp多少可以认�ؓ是�?演算的一�U�实玎ͼ�我们可以�c�M��写出Lisp代码

(define f (lambda x (lambda y (+ x y))))
(apply (apply f 3) 4)

或者更加简单的写�ؓ

(define (f x y) (+ x y))
(f 3 4)

所有在Lisp中的�E�序�Q�我们都可以用一�U�一致的概念来表达，��是�W�号求��|��我们对一个符号应用一些��|��然后�q�个�W�号完成计算�q�把�l�构�q�回�l�我们，在计��的�q�程中，�W�号对外部环境没有�Q何破坏和依赖。但是Lisp中引入了赋��|��于是存在一些符��P��不仅仅是来计��，同时他们�q�能改变环境�?/p>
(define (bad-f x y)
  (begin
     (set! z 5)
     (+ x y)))

�q�个函数不仅仅求x + y的��|��同时修改了符号Z的倹{��赋值的引入破坏了函数只求��D��不影响环境�q�个概念的一致性。于是我们不得不��L��一个更加复杂的也更加�؜��q��计算模型�Q�来代替��单优雅的λ 演算。于是不一致的概念带来了思维上的复杂�?不过Lisp中的概念不一致除了��生了复杂之外�Q�还?g��u)Ȁ发了��Z��对于��单计��模型的向往从而��生了函数式编�E�风��|��q�也是我最��q��~�程风格之一)�?/p>
概念不一致带来的复杂性距��L��们最�q�的应该是Java中的��单类型，Java本��n是一个单根的面向对象语言�Q�从概念上讲一切都应该是对象，而且�׃��性能考虑而出现的��单类型，引入了代数性的世界观的同时�Q�破坏了面向对象的一致概��c��Java中虽然有包装�c�L��做补偿，但是仍然不能弥补概念上的断裂。我们可以用

1new Integer(3)

来代表对象概念中�?�Q�但�?/p>
3 + 4 * 5

不能对等的翻译�ؓ:

1new Integer(3) + new Integer(4) * new Integer(5)

��单类型具有的�q�算�W�和对象�c�d��的消息发送概念上是不一致的。虽然我们可以在Java 5中��用上�q�的代码�Q�但是Java 5的Auto-Boxing更多的把对象�c�d��当作��单类型进行数据运��，而不是像C++中的�q�算�W�重载一��h��数据�q�算当作一�U�特�D�消息传递，虽然语法上有�怼�的功能，但是概念上大异其��，对于我这个OO分子而言�Q�Java 5的Auto-Boxing实在是恶心到不行。同时简单类型和对象�c�d��在赋��D��义和存储模型上也存在很大的不一��_��q�种不一致性在使用Collection API的时候带来了一些复杂度。（�q�记得Commons Collection里那些Primitive Collection吧？�Q?br>
2.副作�?/p>
概念不一致��生的�W�二个恶果就是副作用�Q�我大概想了一下都有哪些可能的副作用，�l�果让我很寒�Q�我能想到的副作用，大多数是�׃��在另一�U�模型中引入了冯语言的因素从而造成了概念上的不一致而引��L��。其中最��Z�h知的....�q�是赋值在函数式编�E�中的副作用...�q�个在函数式�~�程�C�֌�有很�q�泛的讨论，我只说一点，��Z��么命令语�a�是有害的�?/p>
冯语�a�或者说命��o式语�a�主要用于�ȝ��对计��机操作的序列，�q�不兛_��序列的内在关�p�R��也��是��_��我们可以把一些完全没有联�pȝ��指��o写在一赗��因此冯语言在语义上毫无建树�Q�同时在抽象上也止步于子�E�序�Q�一砣指令和另一砣指令）。冯语言��h��很强的时间耦合性在存储上也强烈的們֐�于线性存储。目前大多数隑֤�理的问题�Q�可以归�l��ؓ计算模型和操作语义的不一��_��甚至有些学者认为是冯结构严重制�U�了计算机的发展。因此冯语言被函数社区看作一个很危险的副作用�Q�极力避免之�?/p>
概念的不一致��生的副作用在淯��的OO语言中也很明显，��其是在命��o式语�a�中加入面向对象机�Ӟ��而且使用面向对象作�ؓ�c�d��pȝ��的扩展，使用�q�程式的�Ҏ(gu��)��来控制流�E�。过�E�和对象的不一致本�w�就�l�了�E�序员一�U�暗�C�，你可以��用对象技术来构造类型系�l�，然后使用�q�程的方法来操作他。明昄��副作用们很容易��用过�E�化�E�序�Q�从而��得对象带来的好处被很大的削弱了（当然我们有重构来弥补�q�个错误�Q�，比如下面一个例�?我们很容易从写出下面的代码：

1if (order.getState() == Order.CANCEL)
2   do something for cancel;
3else if(order.getState() == Order.PAID)
4   do something for paid;
5else if(order.getState() == Order.DELIVERY)
6   do something for delivery

而不�?br>

1public abstract OrderState {
2
3   protected Order _order;
4
5   protected OrderState(Order order){
6      _order = order;
7   }
8
9   public abstract void handler();
10}
11
12class CancelState extends OrderState {
13
14   public void handler() {
15      do something for cancel;
16   }
17}
18
19order.getState().handle();
因�ؓ存在�q�程性的关键字if, while,处于方便的考虑�Q�我们会写出�W�一�U�风格的代码�Q�而考虑到易于维护，我们应该写第二种风格的代码。存在两�U�不一致的书写代码的风��|��q�个时候，副作用取决于使用的语�a�OO的程度，比如在C++里更�Ҏ(gu��)��写出�W�一�U�风格的代码�Q�而在Ruby和Smalltalk中，更容易写出第二种风格的代码�?br>
3.递归的构造��Y�?/p>
�q�个虽然跟概念一致有养I��但是一个更大的主题�Q�待�l�吧�?/p>
4.优雅�Q�美感和无名品质

概念的一致性会产生一�U�优雅的��感�Q�我觉得我们都有�q�种感觉�Q�如果我们能用一�U�一致的�Ҏ(gu��)��理解且统一的方式来处理多种不同的复杂的问题�Q�那么我们就会觉得这�U�方法很优雅�Q�也很具有美感。类比物理中的牛��定律，开普勒定律�Q�麦克斯韦方�E�，都是�q�种��单一致而解军_��杂问题的完美�C�Z��。我们更�Ҏ(gu��)��感觉��C��致的感念产生的美感，而不一致的概念往往很难令我�ƣ赏。或许无名品质是我对一致的概念的一�U�模�p�的审美吧�?/p>
我大抵能惛_��的就�q�么多，不知��tao是否满意我的�{�卷�?/p>

Raimundox 2005-12-10 02:17 发表评论

Apologize to Object-Oriented Methodology

Raimundox — Thu, 08 Dec 2005 07:11:00 GMT

最�q�学习了一下Smalltalk�Q�然后深��q��喜欢上了�q�个古老的语言。Smalltalk语言只具有一个很��的语言核心�Q�这个核心由大约10几个关键字和一些基��的面向对象语义构成。而且关键字都是象: . ; ( ) [ ] | := 之类的简单符��P��q�没有提供最基本控制的流�E�。最开始的时候这让我很迷惑，虽然循环�l�构可以用递归表示�Q�但是分支怎么办？然后发现了一个很��L��Ҏ(gu��)��，Smalltalk可以仅仅通过面向对象的语义来实现分支�l�构�Q�其实就是State Pattern�Q�，具体的代码如�?/P>
Boolean>>ifTrue: aBlock
self subclassResponsibility

Boolean>>ifFalse: aBlock
self subclassResponsibility

True>>ifTrue: aBlock
^aBlock value.

True>>ifFalse: aBlock
^nil.

False>>ifTrue: aBlock
^nil.

False>>ifFalse: aBlock
^aBlock value.

然后��可以，

4 �? ifTrue: [Transcript show: 'Hello']

因�ؓ在Smalltalk里，一切皆对象且从左到��x��|��于是4 > 3 �q�回true�Q�true是类True的唯一实例�Q�然后就可以对它发送消息，ifTrue:�Q�于是调用了^aBlock value.来对传进�ȝ��BlockClosure求倹{�?/P>

下面是类似的java的类��g��码�?/P>

1public class abstract Boolean {
2   public static final TRUE = new True();
3   public static final FALSE = new False();
4
5   public abstract Object ifTrue(Block aBlock);
6   public abstract Object ifFalse(Block aBlock);
7}
8
9class True extends Boolean {
10
11   public Object ifTrue(Block aBlock) {
12       return aBlock.execute();
13   }
14
15   public Object ifFalse(Block aBlock) {
16       return null;
17   }
18}
19
20class False extends Boolean {
21
22   public Object ifTrue(Block aBlock) {
23       return null;
24   }
25
26   public Object ifFalse(Block aBlock) {
27       return aBlock.execute();
28   }
29}
30

4 �? ifTrue: [Transcript show: 'Hello']��可以对应翻译�ؓ:

1Boolean condition = new Integer(4).isGreaterThan(new Integer(3));
2condition.ifTrue(new BlockClosure() {
3   public Object execite() {
4      System.out.println("Hello");
5      return null;
6   }
7});
8
9

�q�个看似��单的应用�Q�却带来了两个有深刻影响的性质�?/P>
�W�一�Q�由于if,else�{�结构不再是预定义的语法了，而与我们自己写的代码一��P��属于莫一个类的特定消息，那么也就意味着�Q�我们可以像ifTrue一��P��定义自己的分支结构�?BR>比如
   aUser ifNotRegistered: [ do redirect to register page ]
         ifExpired: [ do redirect to active page ]

在不考虑性能优化的前提下�Q�Smalltalk认�ؓ�?BR>   4 >3 ifTrue: [do something]
        ifFalse: [do somthing]

是具有一��L��语义的。�ƈ不因为Boolean属于Kernel��有什么不同。因此控制结构也属于一个可�~�程的因素，�q�就是Smalltalk的轻语法�Ҏ(gu��)��?/P>
�W�二�Q�在��单的语法和完全的面向对象语义中，构造与冯诺依曼式语�a�完全�{��h(hu��n)的能力（�q�种能力在语法上表现��|��分支�Q��P代和子程序调用）�Q�于是我们可以完全用一致的面向对象的方法来构造��Y件�?/P>
很长一�D�|��间以来，我都认�ؓ面向对象�Ҏ(gu��)��论是在命令式的冯��Z��曼式语言的基��上，通过引入�c�d��pȝ��然后修修补补的得到的�Q�由于冯��Z��D��a�式的语言是面向操作层面上的，只是��Z��更好的刻��L��作计��的一个命令的序列�Q�因此冯语言不可避免的具有不完备的语义，混�ؕ的抽象表达以及等�{�一�p�d��的问题。作为冯语言的一个大补丁的面向对象方法，我也惛_��然的以�ؓ他虽然有了些�q�步�Q�但是基��问题上面�q�是不能避免的，加之面向对象�~�Z��一�U�一致的构造方法，很多时候我们不得不回归到命令式或者过�E�式的方法来构造系�l�，从而破坏掉一�U�一致清晰的思�\�Q�在�q�程和对象之间不住地权衡�Q�比如Domain Model之争�Q�，�q�个让�h非常的不爽。在��试了一些面向对象语�a�之后�Q�我是在95�q�接触C++的时候开始了解面向对象的�Q�而后主要使用Java做�ؓ开发语�a��Q�，我发现这个问题是很难避免�Q�于是我断言�q�是面向对象技术本�w�的问题�Q�现在看来不�q�自己所学有限，没有真正用过�U�面向对象语�a�而已�Q�汗颜得很啊。这里向面向对象�Ҏ(gu��)��道个歉，嘿嘿�?/P>

Raimundox 2005-12-08 15:11 发表评论

中文字幕亚洲码在线,亚洲人成www在线播放,亚洲国产美女精品久久久久

Misquotation

Feng Shui for Standard ML Programmers

The Keyword 'end' Drives Me Crazy

Church Number

Selenium Better Pratice

ANTLR Lexer Tips

A Patch for Ruby Watir Test Framework

A Day of Two Pragmatic Programmers' Life

丧钟������?(4)

丧钟�����鸣？(3)

丧钟�����鸣？(2)

丧钟�����鸣？(1)

A Walk on JSR220

Why Inconsistent Concepts Considered Harmful

Apologize to Object-Oriented Methodology

丧钟��?(4)

丧钟��鸣？(3)

丧钟��鸣？(2)

丧钟��鸣？(1)