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

S>>им видится и полэкрана кода, который ничего не делает, и, что еще важнее, проверки на каждом присваивании.

Pzz>Тут и есть полэкрана кода. Там 12 строк, в стандартном экране их 24.

Типа должно быть убедительно?

Pzz>Строгие typedef'ы можно даже и в C сделать:

Pzz>

Pzz>typedef struct {int v;} distance;
Pzz>typedef struct {int v;} weigh;
Pzz>

Чем они строгие? Любой в v может записать все, что захочет.

Pzz>Арифметику будет делать неудобно (но не сильно хуже шаблонного месива)

Да где вы таких страшилок только набираетесь? В C++ у вас будет:

distance d1 = 1_m;
distance d2 = 100_cm;
distance d3 = d1 + d2;

Покажите в какой строке вы шаблонное месиво увидели.

Pzz>но метры с килограммами уже случайно не сложишь.

Вы их вообще забабахаетесь складывать.

Pzz>Но мне больше нравится, как в Go:
Pzz>

Pzz>type int distance
Pzz>type int weigh
Pzz>

Это в Pascal-е было за 30 лет до появления Go.

Ну и те, кто в C++ не застрял в 1988-ом, могли все это делать начиная с C++98. Т.е. еще лет за 10 до появления Go.