(cljs/run-at (JSVM. :browser) "简单类型可不简单啊～")
(cljs/run-at (JSVM. :browser) "简单类型可不简单啊～")
前言
每逢学习一个新的语言时总要先了解这门语言支持的数据类型，因为数据类型决定这门语言所针对的问题域，像Bash那样内置只支持字符串的脚步明显就是用于文本处理啦。而数据类型又分为标量类型(Scalar)、结构类型(Struct)和集合类型(Collection)，标题中的简单类型实质就是指标量类型。 cljs中内置的标量类型比js的丰富得多，一方面方便了操作，另一个方面增加了学习成本，因此从js转向cljs时可能会略感不适，下面我们一起来认识吧！
标量类型一览
;; 空值/空集
nil
;; 字符串，必须使用双引号包裹
"I am a string!"
;; 字符，以斜杆开头
\&
\newline
;; 布尔类型(Boolean)，nil隐式类型转换为false，0和空字符串等均隐式类型转换为true
true
false
;; 长整型(Long)
1
;; 浮点型(Float)
1.2
;; 整型十六进制
0x0000ff
;; 指数表示法
1.2e3
;; 键(Keyword)，以:为首字符，一般用于Map作为key
:i-am-a-key
;; Symbol，标识符
i-am-symbol
;; Var
i-am-var
;; Special Form
;; 如if, let, do等
(if pred then else?)
(let [a 1] expr1 expr2)
(do expr*)
;; 函数
(fn [a]
(println a))
;; 宏
(defmacro out [s]
`(println ~s))Keyword真心不简单啊！
位于cljs.core/Keyword的关键字并不是仅仅如上述那样简单，其实一共有3种定义方式：
1.所见即所得
;; 通过literal来定义
:i-am-a-keyword
:i-am-a-namespace/i-am-a-keyword
;; 通过keyword函数来定义
(keyword "i-am-a-keyword")
(keyword "i-am-a-namespace" "i-am-a-keyword")2.自动扩展为以当前命名空间为前缀
(ns cljs.user)
;; 自动扩展为以当前命名空间为前缀的keywork
::keyword ;;=> :cljs.user/keyword3.自动扩展为
;; 自动查找以aliased-ns为别名的命名空间，并以找到的命名空间作为前缀创建keyword
;; 因此需要先通过require 引入命名空间才能通过别名解析出原来的命名空间
(ns cljs.user
(:require '[test.core :as test]))
::test/keyword ;;=> :test.core/my-keyword另外Keyword还可以作为函数使用呢！
(def person {:name "fsjohnhuang", "sex" "male"})
(:name person) ;;=> "fsjohnhuang"
("sex" person) ;;=> 报错
(get person "sex") ;;=> "male"什么是Symbol？
在任何Lisp方言中Symbol作为标识符(Identity)，如命名空间名称、函数名称、变量名称、Special Form名称等等。而凡是标识符均会被限制可使用的字符集范围，那么合法的cljs.core/Symbol需遵守以下规则：
- 首字符不能是
[0-9:] - 后续字符可为
[a-zA-Z0-9*+-_!?|:=<>$&] - 末尾字符不能是
: - 区分大小写
命名习惯：
- 全小写
- 单词间以
-分隔 - 常量和全局标识，首尾为
*，如*main-cli-fn* *x，标识内置变量，且经常值变化x?，标识断言函数x!，标识产生副作用的函数x-，标识其将产生私有方法，如defn-和deftest-_，标识可忽略的symbol
既然Symbol仅仅作为标识符来使用，为何不见JS、C#等会将标识符独立出来作为一种类型呢？原因十分简单但又难以理解——Lisp中代码即数据，数据即代码。作为Lisp的方言cljs自然传承了这一耀眼的特性！
;; 定义一个List实例，其元素为a和b两个Symbol实例
(def symbol-list (list 'a 'b)) 大家有没有注意到'这个符号啊？由于symbol根据它在列表中的位置解析为Special Form或Var，为阻止这一过程需要通过quote函数来处理，而'就是quote的reader macro。不信大家试试(cljs.reader/read-string "'a")它会扩展为(cljs.core/quote a)
另外
;; 判断是否为cljs.core/Symbol类型
(symbol? 'a) ;;=> true
;; symbol可以作为函数使用
(def a {'b 1})
('b a) ;;=> 1Var又是什么呢？
在clj/cljs中Var是一个容器，其内容为指向实际值的地址，当其内容为nil时称之为unbound，非nil时则称为bound。而一个Var可以对应1～N个Symbol。
;; Symbol a和b都对应同一个Var，这个Var指向1所在的内存地址
(def a 1)
(def b 1)这个和JAVA、C#中的String是一样的。另外Clojure还有一个十分有趣的特性就是Symbol直接绑定值，中间没有Var，因此就不存在重新赋值的可能
(defn say [s]
(println s))
(defn say1 [s]
(def s 2)
(println s))
(say "say") ;;=> say
(say1 "say1") ;;=> say1和Symbol同样，Var可以作为数据处理，不过由于Var会根据其所在列表中的位置解析为是Macro还是函数还是值，因此需要通过#'来阻止，而#'就是var的reader macro。
(def b 1)
(def c 2)
(def a (list #'b #'c))注意：#'或var操作前必须要先定义好同名变量、内置或第三方库已定义的变量，否则会报错。
Special Form又是什么鬼？
实质上就是语言原语，其他函数和Macro均基于它们来构造，当解析器遇到一个Symbol时会解析的顺序是Special Form -> Var。
如if就是一个原语，即使是Macro也没有办法从无来构造一个，不信大家自己试试吧！
部分常用的Special Form如下:
(def symbol init?)
(if test then else?)
(do exprs*)
(let [binding*] exprs*)
(quote form)
(var symbol)
(fn name? [params*]
exprs*)
(fn name?
([params*]
exprs*)+)
(fn name? [params*]
condition-map? exprs*)
(fn name?
([params*]
condition-map?
exprs*)+)
(loop [binding*]
exprs*)
(recur exprs*)
(throw expr)
(try expr* catch-clause* finally-clause?)怎么函数也纳入标量呢？
函数式编程当中第一条规则就是“函数是一等公民”，就是函数和String、Integer等一样可以作入参、函数返回值，更确切来说函数的构造不依赖其他类型或类型实例。而面向对象中，没有函数只有方法，而方法的构造前必须先构建其所依赖的类型或类型实例。 另外cljs中确实是用定义变量的方式来定义函数
(defn a [x] (println x))
;; defn是macro，实质上会展开成
(def a (fn [x] (println x)))是不是清楚多了啊！
总结
本文较详尽地介绍了Keyword，然后稍微介绍了Symbol、Var和Special Form，而Lisp中“代码即数据，数据即代码”需要结合Symbol的解释过程说明效果才有所体现，这个由于篇幅较大，就打算日后再另起一篇来描述了。
作为函数式编程语言，cljs的函数定义又怎么会只有(defn name [params*] exprs*)呢？下一篇(cljs/run-at (JSVM. :all) "细说函数")，我们一起细说吧！
REF
腾讯云开发者
