IC
Или есть методы проще, чем врапперы?
Size: a a a
2021 January 23
IC
Хотя у рекордов значение id будет публичным.
OK
Бтв, у меня всё количества, единицы измерения и тем более айдишники имеют свои типы.
Но я на расте, там такое не больно делать.
Да и на прошлой работе я втащил дотнетчикам типизированные фантомным типом айдишники, им понравилось.
Но я на расте, там такое не больно делать.
Да и на прошлой работе я втащил дотнетчикам типизированные фантомным типом айдишники, им понравилось.
а как это - фантомные типы?
DB
Я подозреваю type OrderId = int
DB
Или что то вроде
DS
вообще все эти дискуссии насчет статика вс динамика - это, по ходу, рационализация личных предпочтений задним числом. каковые предпочтения как правило сводятся к предпочтениям в плане идеешечки.
Ну а тут я во многом согласен (есть детали, но в целом оно не суть важно).
То есть я видел прекрасные и ужасные проекты, что на динамике, что на статике. Поэтому независимость числа багов/качества кода от системы типов меня не особо удивит.
То есть я видел прекрасные и ужасные проекты, что на динамике, что на статике. Поэтому независимость числа багов/качества кода от системы типов меня не особо удивит.
IC
Я сейчас гуглю фантомные типы в сишарпе, и там какой-то ужас с дженериками и интерфейсами.
DS
а как это - фантомные типы?
type IdOf a = Long
DS
Когда есть дженерик аргумент от которого ничего не зависит внутри определения типа
OK
type IdOf a = Long
спасибо, покопаю завтра
SN
Я подозреваю type OrderId = int
Это не работает
IC
Это не работает
Почему?
SN
Почему?
Компилятор не энфорсит, алиасы просто разворачиваются в собственно типы
SN
Поэтому или через measures/UMX или как Доге показал
IC
А, тьфу. Не разглядел, что там алиас. Да, понятно.
2021 January 24
R
спасибо, покопаю завтра
Можно ещё с unit of measure такого не добиться, только без лишних аллокаций и с меньшим геморроем с оберткой.
IC
В тему обсуждений месяц назад панамского досье и борьбы с коррупцией.
https://www.natlawreview.com/article/what-you-need-to-know-about-corporate-transparency-act
https://www.natlawreview.com/article/what-you-need-to-know-about-corporate-transparency-act
DS
Можно ещё с unit of measure такого не добиться, только без лишних аллокаций и с меньшим геморроем с оберткой.
Такое можно на структурах в шарпе в принципе сделать тоже достаточно зирокост, но да, это будет обёртка и геммора будет больше
VS
Со структурами к @BonartLeo
MS
