布尔意味着另一个

Question

是否有一种编程语言，我们可以在其中编写类似的内容：

a => b

计算含义？ （其中a和b是布尔值）

我能找到的最接近的是Scala：

a <= b

但它看起来与“暗示”的实际含义完全不同。

Answer 1

所以获胜者是Scala：

implicit class BooleanMagic(val b: Boolean) extends AnyVal {
  def ==>(other: =>Boolean) = !b || other
}

感谢：

> true ==> false
res0: Boolean = false

> false ==> (throw new Exception("I'm the president"))
res1: Boolean = true