Интересно, а если вот этот код
X++:
// тип x - AnyType
var x = myMap.lookup(sss);
Написать в каком нить стиле а-ля
X++:
// тип x - InventTable !
var x = myMap.lookup(sss) as InventTable;
Можно ли в таком случае компилятору в мозги впихнуть что ожидается тип InventTable и переменная должна быть InventTable. И чтобы перекрестные ссылки тоже подхватили.
Т.е. придать мапам типизацию на лету.
Вот здесь
http://blogs.msdn.com/b/mfp/archive/....aspx#10658170
сказано
Цитата:
DAP
3 Dec 2015 3:44 AM
#
It's basically type inferrence, so the type of variable is inferred by the compiler frm the right hand side expression. That means type safety is enforced which is not the case for Object/Common.
А нам бы сделать нечто подобное - сделать приведение типов на этапе компиляции, аналогично тому как описано по ссылке.