学习用的书籍是这个
http://book.douban.com/subject/3260311/
断言:
- 将断言分开的逗号(,)表示and(与)操作;
将断言分开的分号(;)表示or(或)操作。 - 断言表达式合法的语法形式:
1)原子true
2)其他常量,这些在断言表达式中都会被求值为false
3)断言谓词或者断言BIF
4)比较表达式
5)算数表达式
6)布尔表达式
7)短路布尔表达式
下面我用三种方法来写一个求面积程序,
when
when_area({
Type,R})
when Type==circle -><