I
А F# сам по себе против нулей
Size: a a a
2021 April 09
P
Ну тут с опшионами можно..
I
И у тебя в общем и целом куча способов защитить свой код
I
Ну так у тебя уже всё есть: Option.defaultValue
I
defaultWith
P
Оно энергично вычислит и правую часть
P
Можно с lazy , но вербозно
IM
А как же РЖДориентированное погромирование?
I
defaultWith не будет - ты передаёшь туда лямбду
I
В ряде случаев компилятор её закеширует
P
Дак тоже вербозно, надо выражение в лямбду заварачивать
P
let a = x ?? (read "someCfg")
vs
let a = x |> Option.defaultWith (fun () -> read "someCfg")
vs
let a = x |> Option.defaultWith (fun () -> read "someCfg")
P
если не ошибся ещё во 2м случае
I
Тебе придётся для каждого типа AllowNullLiteral проставлять
I
Ибо по логике, F# компилятор не позволит тебе просто так сравнивать x с нулём (как здесь), если это рекорд
I
И даже при наличии такого оператора это поведение должно быть консистентным
P
Для опшинов же
P
Оператор
PD
module Option =
let defaultLazy (lz: Lazy<'a>) (x: 'a option) = x |> Option.defaultWith (fun () -> lz.Value)
let ( -? ) x lz = Option.defaultLazy lz x
> (Some 1) -? lazy 3;;
val it : int = 1
> None -? lazy 3;;
val it : int = 3
> (Some 1) -? lazy (printfn "a"; 3);;
val it : int = 1
> None -? lazy (printfn "a"; 3);;
a
val it : int = 3
PD
Осталось только более подходящее название выбрать, нежели
-?