Функциональный эквивалент выражения if с переменным сравнением

Question

У меня есть сложный оператор if, который не очень хорошо читается. он работает аналогично следующему примеру:

let a = 1 
let b = 2 
let test v = true 
if a <> b then a - 1 
else 
    if (test a) then a + 1 
    else a 

Есть ли лучшее функциональное решение? Я подумал о чем-то вроде

match a with 
| b -> ... 
| _ -> ... 

но это не работает, конечно, так как b становится внутри этого утверждения.

Answer 1

Вот как это будет выглядеть со спичкой

match a with 
|foo when foo=b -> .. 
|foo when test foo -> ... 
|_ -> a 

вам нужно использовать when

Answer 2

Там нет ничего «нефункциональным» о if..then..else выражений; даже Haskell имеет их;)

Хотя, как ответ показывает Джона Палмера, вы можете написать

match a with 
| foo when foo <> b -> a - 1 
| foo when test foo -> a + 1 
| _ -> a 

вы также можете написать

if a <> b then a - 1 
elif test a then a + 1 
else a 

Лично в этом случае я бы предпочел if..then..else синтаксис, поскольку он немного короче и (ИМО) более кратким.