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

VD>Пример, конечно, потрясающий. Верхний набор букв к шарпу не откносится. Но идея ясна. Никогда не знал, что передача кортежа в фукнцию так мудрено называется.

Примут эти "кортежи" в том виде, что предлагается — будет относится

VD>А вот в типизаторе это проблем создает.
Блин... о чем и речь!

VD>Меняем. МС и предлагает создать рекорды. Просто по глупости их кортежами назвал.
Собственно, на этом — это не _кортежи_ — предлагаю остановится. А то дальше там очень много спорного, с моей точки зрения... но, это уже сильно в сторону от темы топика будет

Ограничусь лишь вот этим:

G>>Для того, чтобы IDE могла "сделать имена для переменных в автомате" — вообще не обязательно эти самые имена тащить в систему типов.
VD>А куда их тащить?

Т.к. такого рода "имена" это — по сути — лишь аспекты (по крайней мере, я, твою точку зрения на это, воспринял именно так), то, самое логичное, имхо, — место им в метаданных конкретного экземпляра. Синтаксис, при этом, можно даже не трогать.