Здравствуйте, sergii.p, Вы писали:

F>>>и прокси-типы (newtypes).
SP>·>Чем поможет-то? func(1, 2) => func(new NewType(1, 2))?! Имена-то где? Ну или "Вариант 1" выше, который тоже не сахар.

SP>никто обычно функции c константами не вызывает.
Пара булевых флагов и вот уже путаница. Т.е. достаточно иметь более одного параметра одного типа.

SP>Существует одно место в коде, где значение связывается с типом
Если ты предлагаешь искусственно объявлять уникальный тип для каждого параметра, то это и есть упомянутые выше прокси типы, которые отстой.