Исправление monk, (текущая версия) :
Так он хочет чтобы было просто foo и в компайлтайм выбирался нужный вариант в зависимости от типа аргумента
Я ведь это и показываю. Что внутри bar (f x) скомпилировалось в одно, а внутри baz – в другое.
Чтобы (foo 2) компилялось в одно, а (foo 2.0) в другое.
А это вообще в константу скомпилируется.
Исходная версия monk, :
Так он хочет чтобы было просто foo и в компайлтайм выбирался нужный вариант в зависимости от типа аргумента
Я ведь это и показываю. Что внутри bar (f x) скомпилировалось в одно, а внутри baz – в другой.
Чтобы (foo 2) компилялось в одно, а (foo 2.0) в другое.
А это вообще в константу скомпилируется.