逻辑型布尔

Felix为简单逻辑提供了一种传统上称为的类型 bool 在数学家乔治·布尔之后。

类型

在Felix, bool 是一个更一般的机制的特例,我们稍后再讨论。它是一个 alias 对于类型 2 ,它是处理两个备选方案的类型:

typedef bool = 2;

这个 typedef 绑定器将名称绑定到现有类型,即创建别名。

常量

有两个类型为bool的预定义常量, truefalse .

操作

前缀运算符 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)

摘要:逻辑操作

算符

类型

句法

语义

布尔*布尔->布尔

中缀

分离

布尔*布尔->布尔

中缀

汇合点

布尔->布尔

前缀

否定