тип money = int <dollars>
?
Даже не пытался его увидеть ... вы можете определить произвольные единицы или он работает только с явно определенными?
Очевидно, вы, вероятно, захотите
тип money = int <thousandths_of_currency>
(или десятки копеек, или что угодно).
Чтобы быть более точным.
изм:
Десятичные дроби принимают типы, поэтому вы можете определить деньги как:
[<Measure>]
type = pounds
type money = decimal<pounds>
, который может обеспечить случайную кросс-конвертацию валют, например:
если
balance = decimal<pounds>
и
payment = decimal<dollars>
newbalance = balance + payment
не скомпилируется, и вам придется конвертировать платеж в decimal<pounds>