Я хочу, чтобы упростить следующий лямбда с помощью композиции или некоторые более высокой магии порядка,Могу ли я упростить следующую лямбду Haskell?
(\a b -> if (b) then (not a) else a)
, но я не мог придумать умный способ. Не могли бы вы помочь мне?
Спасибо.
Как указал другой пользователь, это пример xor, так как мы можем определить эту функцию?
Если входы равны, результат будет ложным. Если входы не равны, результат будет истинным.
\x y -> x /= y
Редактировать: комментарий правильный, мой плохой! Определение, которое я дал ранее, не работает.
Давайте посмотрим на таблицу истинности:
a b f
------------+-------
False False | False
False True | True
True False | True
True True | False
Это интересно! f: True всякий раз, когда входы не совпадают. Hmm ......
Это xor, но я не знаю, как его реализовать умно :( – Rohit
О да, глупо от меня. Это должно быть просто «a! = B». Спасибо. – Rohit
@Rohit, отлично! BTW, в Haskell это написано '/ ='. И вы можете написать '(\ ab -> a/= b)' как просто '(/ =)'; это обозначение, которое работает для всех инфиксных операторов. – luqui
Почему вы хотите композицию? –
на мой взгляд это выглядит простое выражение лямбда. Мы можем переписать, но зависит от того, какую гибкость вы хотите в выражении. –
Hey @SumitMahamuni Я просто новичок, и мне любопытно узнать, есть ли умный способ написать его. – Rohit