逻辑型布尔
Felix为简单逻辑提供了一种传统上称为的类型 bool 在数学家乔治·布尔之后。
类型
在Felix, bool 是一个更一般的机制的特例,我们稍后再讨论。它是一个 alias 对于类型 2 ,它是处理两个备选方案的类型:
typedef bool = 2;
这个 typedef 绑定器将名称绑定到现有类型,即创建别名。
常量
有两个类型为bool的预定义常量, true 和 false .
操作
前缀运算符 not 提供否定、中缀 and 连词和中缀 or 分离性,先例薄弱,力量减弱。
not a and b or c
被解析为
((not a) and b) or c
这些运算符都比它们通常用作参数的比较弱,因此
a < b and b < c
被解析为
(a < b) and (b < c)
摘要:逻辑操作
算符 |
类型 |
句法 |
语义 |
---|---|---|---|
或 |
布尔*布尔->布尔 |
中缀 |
分离 |
和 |
布尔*布尔->布尔 |
中缀 |
汇合点 |
不 |
布尔->布尔 |
前缀 |
否定 |