> -- Сергей Губанов писал(а):
> 2) В оберонах массивы собственнозначные типы  (vaue type), а в дотнете они ссылочные (reference type).

По-поводу value types, например, в  указанной ссылке о реализации gpcp сказано следующее:
> -- Цитата:
> The mechanism by which structures with value semantics in some source language are implemented by means of reference objects in an implementation framework has been described as reference surrogacy. In effect, a dynamically allocated object in the implementation framework is created to act as a surrogate for an object with value semantics in the source language program. Whenever an operation in the source code requires value copies to be made, the code in the implementation framework does whatever field-by-field or element-by-element copying is required to maintain semantic consistency with the source language view. Similarly, values that are implicitly created in the source code may require explicit invocations of new in the implementation framework, if they are implemented by reference surrogates.
т.е. реализация создает динамические объекты для value types. Если такие динамические объекты создаются однократно при инициализации особой нагрузки на сборщик мусора вроде быть не должно? Т.е. вопрос о том, так ли уж  неэффективна реализация КП на .Net?