我可以简化以下Haskell lambda吗？

Question

我想使用组合或一些更高阶的魔法来简化以下lambda,

(\a b -> if (b) then (not a) else a)

但我想不出一个聪明的方法.你能帮帮我吗？

谢谢.

Answer 1

我们来看一下真​​值表:

   a    b      f
------------+------- 
False False | False
False True  | True
True  False | True
True  True  | False

那很有意思! f是True每当输入是不一样的.嗯......