В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

F# Flood: Be a cheif

243 membersпожаловаться на группу
2021 January 29

IC

Ilya Chernoudov in F# Flood: Be a cheif
Doge Shibu
Да.

Я никогда обратного не утверждал. Моё утвреждение в том, что в using вне спеки добавили оптимизированную работу со структурами и дак тайпинг для реф структов и асинк диспозабл
но мы сошлись на том, что спеку можно трактовать двусмысленно?
источник
14:17пожаловаться#1

IC

Ilya Chernoudov in F# Flood: Be a cheif
ты её понимаешь как каст, я интерпретирую как вызов метода  интерфейса
источник
14:17пожаловаться#2

R

Roman in F# Flood: Be a cheif
вызов метода интерфейса же требует каста
источник
14:19пожаловаться#3

IC

Ilya Chernoudov in F# Flood: Be a cheif
Roman
вызов метода интерфейса же требует каста
нет, если тип известен
источник
14:19пожаловаться#4

IC

Ilya Chernoudov in F# Flood: Be a cheif
ну и в дженериках
источник
14:19пожаловаться#5

DS

Doge Shibu in F# Flood: Be a cheif
Ilya Chernoudov
ты её понимаешь как каст, я интерпретирую как вызов метода  интерфейса
Авторы компилятора всё же подразумевали там каст, иначе бы они не писали if the type is a non-nullable value type then we do not do the *boxing conversion* from the resource to IDisposable.
источник
14:19пожаловаться#6

DS

Doge Shibu in F# Flood: Be a cheif
То что они говорят о boxing conversion - всё же говорит, что спеку они понимают в плане каста
источник
14:20пожаловаться#7

DS

Doge Shibu in F# Flood: Be a cheif
И потом доказывают, что её тут корректно убрать
источник
14:20пожаловаться#8

IC

Ilya Chernoudov in F# Flood: Be a cheif
Doge Shibu
То что они говорят о boxing conversion - всё же говорит, что спеку они понимают в плане каста
это не спека, но они могли реализовать как бокс + вызов, либо констрейнед + вызов
источник
14:20пожаловаться#9

IC

Ilya Chernoudov in F# Flood: Be a cheif
написано, что выбрали второй
источник
14:20пожаловаться#10

IC

Ilya Chernoudov in F# Flood: Be a cheif
честно говоря, я поражаюсь как можно считать людей идиотами
источник
14:21пожаловаться#11

IC

Ilya Chernoudov in F# Flood: Be a cheif
как можно думать, что люди которые пишут компилятор сделают боксинг, когда его можно не делать
источник
14:21пожаловаться#12

DS

Doge Shibu in F# Flood: Be a cheif
Ilya Chernoudov
написано, что выбрали второй
Так они доказывают ниже, что в данном случае корректно убрать бокс и он не нарушит ожидаемого поведения.

Если бы были возможны оба пути по спеке, то это доказательство им не надо было бы писать.
источник
14:22пожаловаться#13

IC

Ilya Chernoudov in F# Flood: Be a cheif
Doge Shibu
Так они доказывают ниже, что в данном случае корректно убрать бокс и он не нарушит ожидаемого поведения.

Если бы были возможны оба пути по спеке, то это доказательство им не надо было бы писать.
ну это уже домыслы)
источник
14:22пожаловаться#14

IC

Ilya Chernoudov in F# Flood: Be a cheif
но пожалуй что то в этом есть)
источник
14:22пожаловаться#15

R

Roman in F# Flood: Be a cheif
Ilya Chernoudov
нет, если тип известен
с произвольным интерфейсом?
источник
14:23пожаловаться#16

IC

Ilya Chernoudov in F# Flood: Be a cheif
Roman
с произвольным интерфейсом?
ага
источник
14:24пожаловаться#17

R

Roman in F# Flood: Be a cheif
Ilya Chernoudov
ага
https://sharplab.io/#v2:C4LglgNgPgAgTARgLACgYGYAEYB2wCmATgGYCGAxvpgJIAyA9hJgN6qYwAsmDEAFAJQBuTCNQBfVBkwBnYIQCu5YJgDCmEDR4s2I9lk7dGA7Sl1n2CAJyZeAIgiNbQnSIko3U+JgAq+WSd0XPQsANnYuAFkBVlNzETpGTAJ/AF5MHHwAd1UBQSCzZOAAOh5coLcxIA==
источник
14:24пожаловаться#18

IC

Ilya Chernoudov in F# Flood: Be a cheif
Roman
https://sharplab.io/#v2:C4LglgNgPgAgTARgLACgYGYAEYB2wCmATgGYCGAxvpgJIAyA9hJgN6qYwAsmDEAFAJQBuTCNQBfVBkwBnYIQCu5YJgDCmEDR4s2I9lk7dGA7Sl1n2CAJyZeAIgiNbQnSIko3U+JgAq+WSd0XPQsANnYuAFkBVlNzETpGTAJ/AF5MHHwAd1UBQSCzZOAAOh5coLcxIA==
у тебя теряется тип
источник
14:24пожаловаться#19

R

Roman in F# Flood: Be a cheif
покажи тогда кот, который имеешь ввиду
источник
14:25пожаловаться#20