clojure基础入门(一)

最近在看storm的源码，就学习分享下clojure语法。

阅读目录：

概述
变量
运算符
流程控制
总结

概述

clojure是一种运行在JVM上的Lisp方言，属于函数式编程范式，它和java可以方便的互相调用，这样开发的程序可以很好的结合java和clojure的优点(storm)，这跟Net中C#和F#的角色一样。

安装java1.6以上的JDK，下载地址。
下载clojure的环境包，下载地址。
解压后用命令行进入到clojure目录下，输入下面命令进入REPL命令行交互界面：

java -cp clojure-1.7..jar clojure.main

欢迎进入clojure的世界。

变量

Clojure中的变量可以def关键字来声明：

clojure数据类型是弱类型，对应java中的object，然后通过变量名直接调用。

类似c#中代码：

 object greet = "Good Morning";

  Console.WriteLine(greet);

Clojure语法是把代码元素用小括号形式括起来，以空格来分割元素，使其像填充列表一样来编写代码。

 (str "Hello World!")

函数式编程中以函数为第一类对象，其小括号后面第一个元素被Clojure解释器当成一个函数或宏，其后面的都会被当成参数，如上"hello world"是被当成参数传入str函数进行输出。

类似C#代码：

 Console.WriteLine("Hello World!");

一个变量可以重复赋值，也可以是不同类型：

def可以把函数赋值给一个变量，函数变量不能直接调用，需要加上括号：

类似c#代码：

Action func = () => { Console.WriteLine("Hello World"); };

func();

运算符

clojure使用前置运算符，分号(;)表示后面跟的是注释。
加减乘除：

(+  ) ; =>

(-  ) ; =>

(*  ) ; =>

(/  ) ; =>

增量，接受一个数值加1后范围，类似C#中的i++。

 (inc ) ;=>

减量：

 (dec ) ;=>

求商函数：

 (quot  ) ;=>

求余函数：

(quot  ) ;=>

小于(<)：

 (<  ) ;=>true

小于等于 (<=)：

(<=  ) ;true

大于(>)：

 (>  ) ;=>true

大于等于 (>=) :

(<=  ) ;true

等号 =

(=  ) ; => true

(=  ) ; => false

(=  "") ;=> false

同样的把前置运算符理解为函数，后面为参数。

函数

clojure中以函数为第一类对象，其小括号后面第一个元素被Clojure解释器当成一个函数或宏，其后面的都会被当成参数。定义函数用defn，跟定义变量的def类似：

(defn Get [] "Hello World") ;=>"Hello World"

下面定义了get函数，中括号为函数的参数，输出Hello World字符串。加参数后，再次调用需要传入值，如果不传会报异常。

下面在函数内部使用a函数参数，如果想要拼接的话，可以在内部使用str函数，用它返回的值当成Get函数的参数：

多个参数表示形式：[arg1,arg2]

流程控制

判断if

这里有三层嵌套，首先(= age 18)来判断返回是否等于18，作为if判断该返回哪个字符串的依据，再根据if确定的字符串作为函数的返回值。注意if是不是函数或宏，而是叫做special form(特殊形式)，而且没有else，用空白或换行即表示else，不用显式return，clojure会将最后一个表示的值作为函数的返回值。

谓词函数

谓词函数是一个判断式，一个返回bool值的函数或者仿函数，用来测试条件是否成立。
与或非(and or not)：

clojure中（lisp习惯）有个规定：对于判断功能的函数，函数名后面都有一个“？”号。所以只要看到后面带问号的函数名，就知道这一定是一个判断语句。

user=> (fn? quot) ;判断quot是不是一个函数true

user=> (fn? 1) ;判断1是不是一个函数 false

测试一个对象的类型的谓词：class?,coll?,decimal?,delay?,float?,fn?,instance?,integer?,isa?,keyword?,list?,macro?,map?,number?,seq?,set?,string?,vector?。

测试两个值之间关系的谓词有：<,<=,=,not=,==,>,>=,compare,distinct? , identical?。

测试逻辑关系的谓词有：and,or,not,true?,false?,nil?。

测试数字的谓词有：even?,neg?,odd?,pos?,zero?。

总结

Clojure里面的每个操作被实现成以下三种形式:

函数(function) 文中以defn定义的。
宏(macro) Clojure中几乎所有的函数和宏都是用Clojure代码实现的，关于宏后面再说。
special form 文中出现的if就是，其他还包括catch,def,do,dot (‘.’),finally,fn,if,let,loop,monitor-enter,monitor-exit,new,quote,recur,set!,throw,try,var。

博客园的代码高亮不支持Clojure。

[0] http://clojure.org/

[1] http://xumingming.sinaapp.com/302/

[2] http://huangz.iteye.com/blog/1325228

[3] http://segmentfault.com/a/1190000000414279#articleHeader0