я пользы от этого патерна не вижу особо

интересно, а можно сделать именно defaultarg на месте объявления?)

let (|IfNull|) def = function | null -> def | o -> o

интересно, а можно сделать именно defaultarg на месте объявления?)

ну конечно

я чет пытался и не вышло

я пытался и вышло! покажи как пытался

щас

щас

let (|IfNull|) def = function | null -> def | o -> o let f (IfNull "defualtString" o) = printfn "%s" o f null f "123"

let (|IfNull|) def = function | null -> def | o -> o

я пытался наркоманию писать в стиле этого

а там видимо только через функцию

но тогда и обычный defaultarg норм

но тогда и обычный defaultarg норм

ну тут просто сразу в параметрах функции деконстракт. Сахарок-с

не более

defaultArg разве не с опшнами работает?

да, ты прав, с ними

да, ты прав, с ними

а это между прочим - боксинг или аллокация

потому что ValueOption - отщепенец

на него нихуя не заточено

Когда же, наконец, завезут элвисы в фшарп

Когда же, наконец, завезут элвисы в фшарп

эээ???

он примерно бесполезен!

С сишарп взаимодействовать проще будет

С сишарп взаимодействовать проще будет

ты путаешь elvis operator с null-propagation operator

Не я один

на null-propagation есть открытый сто лет назад пропозал elvis в F# оксюморон, т.к. if уже им является

а это между прочим - боксинг или аллокация

let (|DefaultArg|) def obj = match obj with | null -> def | _ -> obj let defaultArgNull def obj = let (DefaultArg def obj) = obj obj

https://en.wikipedia.org/wiki/Elvis_operator

охуенно но нечитаемо))

Не я один

Это оттуда цитата

let defaultArgNull (DefaultArg def obj) = obj

я сократил твои страдания на 2 строчки

а, лол, не сократил

по-истине язык сам по себе обфускатор

там же в паттерн надо что-то подать

даже исходник хуй прочитаешь

хуйню написал, забей

Это оттуда цитата

ну, как видишь, C#-еры не знаю что такое elvis

но им это не мешает

не будь как C#-ер!

бля

let defaultArgNull def (IfNull def obj) = obj

это РАБОТАЕТ

он может использовать def биндинг из первого аргумента в патерне второго аргумента

O_O

чиво блять

let defaultArgNull def (IfNull def obj) = obj defaultArgNull "1" null

ээээ, в тред призывается любитель спеки @vshapenko

А что не так?

ну, многое

У тебя второй параметр просто деконструкция

Точнее не так

Первый у тебя уже определен

Поэтому можно пихать во второйц

let defaultArgNull def (IfNull def obj) = obj defaultArgNull "1" null

Поэтому можно пихать во второйц

я могу их местами поменять

и это всё равно работает

что сделает следующий код? let defaultArgNull (IfNull def obj) (IfNull obj x) def = obj defaultArgNull null null "1"

А что такое IfNull?

что сделает следующий код? let defaultArgNull (IfNull def obj) (IfNull obj x) def = obj defaultArgNull null null "1"

мозг взрывает

let (|IfNull|) def = function | null -> def | o -> o

Ну все ок

Вместо первого параметра подставляется паттерн

Вместо второго тоже

так вернёт-то что?

Вернет функцию создания объекта, как я понимаю

а вот хер

я могу ещё лучше вопрос задать, чтобы голову взорвать

let defaultArgNull (IfNull def obj) (IfNull obj x) def = printfn "obj: %A; x: %A; def: %A" obj x def defaultArgNull null null "1"

сразу скажу, напечатается obj: "1"; x: "1"; def: "1"

let defaultArgNull def (IfNull def obj) = obj

это

он кстати зачем-то боксит obj внутри

т.е. в начале резолвим третий параметр в "1" поэтому это позволяет от бектречится на первый параметр и разрезолвить его в "1" через актив патерн что позволяет нам разрезолвить 2ой параметр в "1" через актив патерн

он кстати зачем-то боксит obj внутри

где?

// [27 7 - 27 32] IL_0000: ldarg.1 // obj IL_0001: box !!0/*a*/ IL_0006: brfalse.s IL_000a

логично

хотя там констрейнт на класс

он же с null сравнивает

а F# позволяет туда подавать структуры

значит надо забоксить

obj у нас случаем не ключевое слово?