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

E>В общем-то я с вами согласен, смущает меня только то, что в C++ в одном выражении можно будет сочетать operator*() (и другие) для разных типов данных. Например, Physic<A,B,C> еще и на скаляр умножить можно будет -- в самом выражении с использованием операторов это никак не будет явно подчеркиваться. В Nemerle для таких ситуаций, вероятно, еще что-то додумывать придется.

Насчёт этого — можно будет оставить прозрачный синтаксис и без * как макрос, потому что, в конце концов, никто нам не мешает сконструировать новый тип для конкретной физической величины в compile-time в Nemerle с таким вот оператором (собственно, это и происходит в C++ — с помощью шаблонов создаётся куча конкретных типов при компиляции).