Создание отрицания предиката F #

Question

У меня есть предикат в F #, например

let myFunc x y = x < y 

Есть ли способ, чтобы создать отрицание версии этой функции?

Так что то, что было бы функционально похож на

let otherFunc x y = x >= y 

Но с помощью оригинального MyFunc?

let otherFunc = !myFunc // not valid 

Answer 1

То, что вы пытаетесь сделать, называется «состав функций». Проверьте функцию состава оператора F #:

• In F# what does the >> operator mean?

у меня нет компилятора доступны для экспериментов, но вы могли бы начать с

let otherFunc = myFunc >> not 

и работать ваш путь через ошибки.

EDIT: Макс Малук указывает на то, что это не будет работать с текущим определением myFunc, потому что она принимает два аргумента (в некотором смысле, это функционально-земля). Таким образом, для того, чтобы сделать эту работу, myFunc необходимо будет изменить в принятии Кортеж:

let myFunc (a, b) = a > b 
let otherFunc = myFunc >> not 
let what = otherFunc (3, 4) 

Answer 2

Отрицание в F # это делается с помощью функции not. Оператор ! предназначен для разыменования ячеек ref.

let otherFunc x y = not (myFunc x y)