|
ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Alex Kozhushko 2:5020/400 04 Nov 2002 12:11:03
To : Nick Kovaliov
Subject : Re: компилятор
--------------------------------------------------------------------------------
"Nick Kovaliov" <Nick@urm.ru> wrote in message
news:aq555k$6el7s$1@ID-162517.news.dfncis.de...
> > О! Кстати, не подскажешь заодно,
> > что такое структурная и именная эквивалентность типов ?
> Честно, не знаю.
> Hо догадываюсь, что именная - это по имени, то есть по использованию
> (например, для некоторых типов операций массив и лист эквивалентны)
> А структурная - это по семантике, то есть по реализации.
Именная - типы эквивалентны, если имеют одно и то же имя. Структурная - типы
эквиваленты, если эвиваленты описывающие их деревья.
Hапример,
type
T1= array [0..15] of integer;
T2 = array [0..15] of integer;
var
A: T;
B: T;
C: array of integer;
D: array [0..15] of integer;
При структурной эквивалентности все они имеют один и тот же тип.
При именной эквивалентности переменные A и В имеют один и тот же тип,
отличающийся от типов переменных С и D.
С уважением,
Алексей
--- ifmail v.2.15dev5
* Origin: Demos online service (2:5020/400)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
Re: компилятор 