А вот так делать стоит/не стоит? [просто удобна такая штука] [<AutoOpen>] module Test

Question

А вот так делать стоит/не стоит? [просто удобна такая штука] [<AutoOpen>] module Test

=
type DU =
| I32 of int
| STR of string

static member ($)(unionType, x: int) = I32 x
static member ($)(unionType, x: string) = STR x

let inline (|UnionType|) x = Unchecked.defaultof<DU> $ x

let echo' x =
match x with
| I32 x -> printfn "int : %d" x
| STR x -> printfn "string : %s" x

let inline echo (UnionType x) = echo' x

echo 1 //=> int : 1
echo "test" //=> string : test

ПыСы: я ща чуть не вляпался - еле вспомнил код через фантомас прогнать :)))

#fsharp #programming #russian

0

03.01.2024

13 ответов

92 просмотра

dd Автор вопроса

Vlæd Zá
Тут у тебя тоже получается «оопщина», потому что м...

ты ща про то, что под капотом, а я про то, что наружу торчит UPD: модуль Test в примере - это под капотом

0

03.01.2024

Vlæd Zá

dd
ты ща про то, что под капотом, а я про то, что нар...

То что функция торчит наружу не делает это более функциональным

0

03.01.2024

dd Автор вопроса

Vlæd Zá
То что функция торчит наружу не делает это более ф...

работа с ф-цией торчащей наружу будет ф-нальной

0

03.01.2024

Vlæd Zá

dd
работа с ф-цией торчащей наружу будет ф-нальной

Не будет

0

03.01.2024

dd Автор вопроса

Vlæd Zá
Не будет

почему?

0

03.01.2024

Vlæd Zá

dd
почему?

Хорошо, что значит «функциональная» в этом случае

0

03.01.2024

dd Автор вопроса

Vlæd Zá
Хорошо, что значит «функциональная» в этом случае

для меня ХМ (в данном случае он для меня первичен)

0

03.01.2024

Vlæd Zá

dd
для меня ХМ (в данном случае он для меня первичен)

Думаешь в статик методах типы перестанут выводиться?

0

03.01.2024

dd Автор вопроса

Vlæd Zá
Думаешь в статик методах типы перестанут выводитьс...

меня просто задалбливает указывать тип

0

03.01.2024

Vlæd Zá

dd
меня просто задалбливает указывать тип

Так ты же указываешь его в первом подходе своем и не указываешь в том, который Илья подсказал

0

03.01.2024

Vlæd Zá

Сравни сколько кода ты тут написал

0

03.01.2024

dd Автор вопроса

походу вот так поменьше геморроя будет: type Echo = static member go x = printfn $"%b{x}" static member go x = printfn $"%d{x}" static member go x = printfn $"%s{x}" let fAP'echo (x: obj) = match x with | :? bool as b -> Echo.go b | :? int as i -> Echo.go i | :? string as s -> Echo.go s | _ -> failwith $"\n ►►►► fAP'echo (x : obj) // x = %A{x}\n" let (|AP'echo|) x = fAP'echo x let inline echo (AP'echo x) = () echo true echo 1 echo "test" echo [] //=> Exception

0

04.01.2024

Vlæd Zá · Accepted Answer

Vlæd Zá

Тут у тебя тоже получается «оопщина», потому что методы используются и особенности метод резолбшна

0

03.01.2024

169 похожих чатов

А вот так делать стоит/не стоит? [просто удобна такая штука] [<AutoOpen>] module Test

13 ответов

Похожие вопросы