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

FR>то есть как и в C++ эти объекты физически расположены в разных участках памяти.

Это не главное.

FR>По сути в ML языках let в сишных терминах просто неявно вводит скопе.
FR>Ну и учитывая что let выражения в этих языках как раз и есть замена сишных
FR>скопе через {} все логично и не вызывает никаких неоднозначностей и неудобств.

Во-первых сишных или плюсовых? Это два очень разных языка.
Во-вторых, с точки зрения С++ пример вообще о другом. Вот поведение в стиле С++: пример

FR>Про удобство выше уже писали.

Но не привели не одного убедительного примера, только пару wtf