NE
Size: a a a
NE
NE
Lr
NE
NE
IC
[<Measure>] type customerIdИ все попытки сравнить
[<Measure>] type orderId
type Order =
{
id : string<orderId>
customer : string<customerId>
}
order.id
и order.customer
закончатся ошибкой на этапе компиляции, а в рантайме эту будут обычные string.NE
[<Measure>] type customerIdИ все попытки сравнить
[<Measure>] type orderId
type Order =
{
id : string<orderId>
customer : string<customerId>
}
order.id
и order.customer
закончатся ошибкой на этапе компиляции, а в рантайме эту будут обычные string.NE
NE
IC
NE
NE
NE
NE
NE
IC
NE
NE
NE
IC