开发学院WEB开发Jsp 函数式组合子逻辑Java parser框架(一) 阅读

函数式组合子逻辑Java parser框架(一)

 2008-01-05 20:07:23 来源:WEB开发网   
核心提示:一、释名 为什么叫精神?假如你熟悉c++,那么你可能知道一个叫做”spirit”的parser库,函数式组合子逻辑Java parser框架(一),它利用c++的模板元编程能力,使用c++语言本身提供了一个递归下降文法解析的框架,我们没有重用IsEqual和IsLowercase这两个类的代码,虽然逻辑上我们是和这两个

一、释名

  为什么叫精神?
  假如你熟悉c++,那么你可能知道一个叫做”spirit”的parser库。它利用c++的模板元编程能力,使用c++语言本身提供了一个递归下降文法解析的框架。

我这里介绍的jparsec库,就是一个java里面的递归下降文法解析框架。
  不过,它并非是spirit的java版本。

  Jparsec的蓝本来自Haskell语言的parsec库。Parsec是一个基于monad的parser组合子库。

  这个库的目的是要在java中提供一个类似parsec, spirit的库,这种组合子库并非c++的专利,java/c#也可以做到。这个库还将在java5.0上被改写,类型安全上它将也不再逊色于c++。

  那么,为什么叫“函数式”呢?java是面向对象的嘛。
  假如你使用过haskell, lisp等语言,这个函数式不用解释你也知道是怎么回事了。
  假如你是一个老牌的c++/java程序员,那么这里还要稍微解释一下。当然假如您对这些虚头八脑的名词不感爱好,那么,你尽可以跳过这一章,不知道什么是“函数式”,并不会影响你对这个库的理解的。

  C++这几年随着gp的普及,“函数式”这个老孔乙己逐渐又被人从角落里面拽了出来。一个c++程序员所熟悉的“函数式”很可能是stl的for_each, transform,count_if这些函数。
  怎么说呢,就象我不能否定str.length()这个调用属于OO一样,我也无法说for_each, transform不是函数式。

  但是,“函数式”的精髓不在于此。

  一般归纳起来,就像我们说OO是什么多态,封装,继续一样,“函数式”的特征被总结为:

  1.无副作用。
  2.高阶函数。
  3.延迟计算

  而最最有意义的(至少我认为如此),是基于高阶函数的函数组合能力。一些人把这叫做glue。
  简短地说,什么让函数式编程如此强大?是用简单的函数组合出复杂函数的能力。

  我可以想象,说到这里,你还是一头雾水。“什么是组合?1+1不是也把两个1组合成2了吗?new A(new B(), new C())不也是从B和C组合成A了?”

  为了直观,我们来举个例子吧。
  假设,我们在package PRedicates内部有一个接口:


  interface SPredicate{
  boolean is(String s);
  }



  我们有几个基本的实现:


  class IsEmpty implements Spredicate{
  public boolean is(String s){return s.length()==0;}
  }


  这个实现判定字符串是不是空。


  class IsCaptialized implements Spredicate{…}


  这个实现判定这个字符串是不是大写打头。


  class IsLowercase implements Spredicate{…}


  这个实现判定字符串是不是全小写。


  class IsEqual implements Spredicate{
  Private final String v;
  Public Boolean is(String s){return s.equals(v);}
  IsEqual(String v){this.v = v;}
  }




  这个实现判定这个字符串是否和制定的字符串相等。

  类似的基本实现还可以有很多。

  下面,假如我们希望实现一个Spredicate,它要判定“这个字符串是个小写字符串,或者等于hello”。
  我们怎么办呢?

  我们当然可以这样:


  class Predicate1 implements Spredicate{
  Boolean is(String v){
  Return v.isLowercase() v.equals(“hello”);
  }
  }

  只不过,这样一来,我们没有重用IsEqual和IsLowercase这两个类的代码,虽然逻辑上我们是和这两个类有重叠。

  我们当然也可以直接调用IsEqual和IsLowercase的代码,如:

  class Predicate1 implements Spredicate{

Tags:函数 组合 逻辑

编辑录入:爽爽 [复制链接] [打 印]
[]
  • 好
  • 好的评价 如果觉得好,就请您
      0%(0)
  • 差
  • 差的评价 如果觉得差,就请您
      0%(0)
赞助商链接