Здравствуйте, ·, Вы писали:
F>>и прокси-типы (newtypes).
·>Чем поможет-то? func(1, 2) => func(new NewType(1, 2))?! Имена-то где? Ну или "Вариант 1" выше, который тоже не сахар.
никто обычно функции c константами не вызывает. Существует одно место в коде, где значение связывается с типом и дальше по call stack невозможно ошибиться
NewType1 val1 = new NewType1(1);
NewType2 val2 = new NewType2(2);
...
func(val1, val2);