Г
let opt = Some 1
let (None | Some _) = opt
let (Ok a | Err a) = Ok 3
:OSize: a a a
2020 October 22
AH
let (Ok a | Err a) = Ok 3
:Oэто сработает только если Ok и Err одного типа
AH
ну в данном случае оно тебе выведет Result<int, int>
AH
Вообще это же обычный синтаксис
match Ok 3 with
| Ok a
| Err a -> ...
match Ok 3 with
| Ok a
| Err a -> ...
AH
match Ok 3 with
| Ok a | Err a -> ...
| Ok a | Err a -> ...
AH
Везде патерны
IC
Я ничего не понял и думаю, что оно к лучшему.
IC
Хочешь ещё сломаю?
let (Some _ & None) = opt
let (Some _ & None) = opt
Вот это эксепшен в рантайме кидает, кстати.
Unhandled exception. Microsoft.FSharp.Core.MatchFailureException: The match cases were incomplete
Unhandled exception. Microsoft.FSharp.Core.MatchFailureException: The match cases were incomplete
AH
Вот это эксепшен в рантайме кидает, кстати.
Unhandled exception. Microsoft.FSharp.Core.MatchFailureException: The match cases were incomplete
Unhandled exception. Microsoft.FSharp.Core.MatchFailureException: The match cases were incomplete
это логично
AH
Не может быть тип одновременно Some и None :D
AH
Я ж специально написал
IC
Я думал, фшарп умный и не скомпилит такое вообще.
AH
Я думал, фшарп умный и не скомпилит такое вообще.
Стопе
AH
Хотя да, я тут подумал что понять что кинет в рантайме можно. если в двух ветвях & патерны одного DU
AH
Но в целом не сделано!
AH
(просто про & знает 3 инвалида)
IC
А про | 4?)
AH
А про | 4?)
эт шо?
IC
Ну про | знаю 4 инвалида.