Erlang笔记(10) - 断言

1. 断言
   • 断言是一种用于强化模式匹配的功能的结构，例如
     • max(X, Y) when X > Y -> X;  max(X, Y) -> Y.
     • 当第一个句子匹配就输出 X，当第一个句子不匹配就尝试第二个子句。
       
2.  断言序列
   • 断言序列可以是单个的断言也可以是一系列用分号分开的断言序列。在断言集合G1; G2; ...; Gn中只要任何一个断言为 true，那么整个断言序列为 true.
   • 断言谓词
     • is_atom(X)：判断 X 是原子
     • is_binary(X)：判断 X 是二进制数据