VS
Китаец, начинал с xamarin forms
Size: a a a
2021 June 15
I
Тогда если тебе нужен ещё this, ты сделаешь member (Pattern x as this).Foo() ?
I
Спасибо, но нет.
I
В целом, конечно, система с явным this меня удивляет, но такая запись делает её ещё страшнее, честно.
PD
Однако если бы это был аргумент к обычной функции, например
let foo (SomePattern x) = …
let foo ((SomePattern x) as thisLike) = …
, то ты именно это и должен будешь сделать. И ничего, всех устраиваетPD
Хотя так никто и не делает. Но такая возможность есть
VS
Тех, кто этим пользуется, как я понимаю. А процент невелик
PD
Согласен, никто не будет ещё раз явно через as получать аргумент в изначальном виде. Проблема в том, что если тебе это понадобилось, то лучше активным паттерном в аргументе не пользоваться вообще, и применить другие меры.
Но я к тому, что данная ситуация практически полностью аналогична предлагаемым активным паттернам в
Но я к тому, что данная ситуация практически полностью аналогична предлагаемым активным паттернам в
this в методахPD
То есть, разницы между
и
по сути не так уж и много. Но активный паттерн разрешено использовать только в первом случае, почему-то
let foo this = ()и
member this.Foo() = ()по сути не так уж и много. Но активный паттерн разрешено использовать только в первом случае, почему-то
AH
а ещё можно вместо this паттерн разрешить
на правах юмора
type Id =
Id of int
member (Id i).Value = i
на правах юмора
AH
А блин, ты это же предлагал 5ю постами выше
AH
Да что ж такое, уже всё пошутили
PD
Но разве это не было бы удобно? Анврапить сингл кейс дюшки периодически надо, а методы для этого писать в виде
ну совсем непристойно выглядит
type Id =
| Id of int
member this.Value = let (Id x) = this in x
ну совсем непристойно выглядит
AH
наверное было бы, не сказал бы что это добавляет очень много валуе
PD
А скинутый выше рфс предлагает сильно больше?
AH
я очень редко пишу тайп касты - мне не сильно полезно
AH
в основном тайп касты в кетч блоках (у меня)
VS
Давай ты попишешь значимое количество кода в прод, периодически переписывая куски, потом будем предметно говорить. Пока это монолог теоретика
AH
но, наверное это полезно. Возможно какой-то код сломается!
старый код вида
| :? Exception as None -> ...
с новым пропозалом не будет компилиться)
но надо быть особенным человеком чтобы случайно попасть своим идентификатором (их обычно пишут с маленькой буквы) в имя паттерна (они ОБЯЗАНЫ начинаться с заглавной)
старый код вида
| :? Exception as None -> ...
с новым пропозалом не будет компилиться)
но надо быть особенным человеком чтобы случайно попасть своим идентификатором (их обычно пишут с маленькой буквы) в имя паттерна (они ОБЯЗАНЫ начинаться с заглавной)