Dv
Size: a a a
2020 May 02
O
это сложнее, но, думаю, реализуемо
Dv
Наверняка с помощью линейных типов можно сделать.
АВ
зависит, есть ли там завтипы
Dv
Поговните меня больше, я вам и завтипы в сишарпе «изобрету» с помощью T4 и какой-нибудь матери
O
в сишарпе, к сожалению, нет
Dv
в сишарпе, к сожалению, нет
Полчаса назад и тайпклассов в нём не было
Dv
А тут завелись вдруг
Dv
Ну собакен прав, что кодегеном можно и полущ сделать, конечно
АВ
ойфсьо! :)
Dv
Просто это будет кодеген такого же порядка, как source-to-source компилятор из языка с завтипами в тот же сишарп.
O
O
и правда есть!
Dv
Dv
Из пропозала в C# 10
VS
Доктора лучше не злить. У него связи в морге
Dv
Вроде там так и не придумали ничего про HKT, а это-то самое интересное
O
для нормальной поддержки хкт надо рантайм менять
Dv
Ну собстно вот тут уже всё видно
Dv
По десять тайп аргументов везде с хитрыми констрейнтами