Переменной ЕстъТезки присвоить значение true

[мурчик]

tур:фамилия=(Бетелин, Войскунский, Коннов,Мальковский, Пильщиков, Школьный);
имя=(Василий, Владимир, Игорь, Михаил, Олег, Юрий);
var MM511:array [фамилия] оf имя;
ЕстьТезкн : bоо1еаn;
Переменной ЕстъТезки присвоить значение true, если в массиве ММ511 есть одинаковые имена, и значение false иначе.

[TinMan]

Я подумал, что вряд ли кто-то, кроме меня, захочет возиться с такой мурой , и решил, что надо все же написать. Эта задача - классический пример того, как можно хорошую идею довести до полного абсурда и краха. Чтобы решить простейшую задачу, типа этой, приходится извращаться и постоянно следить за границами типов. То, что в обычном диапазоне целых (например) кодится без всякого напряга, тут требует максимальной концентрации внимания и т.д., и т.п. Я согласен, что в результате вероятность отсутствия ошибок повышается, но все же не гарантируется, и это слишком высокая цена за подобную "безопасность". Идея структурного программирования в Pascal все же не реализована на 100%, и это нужно принимать, как есть, а бороться этим - бессмысленно.

Конечно, можно было реализовать этот же код значительно быстрее и проще, использовав два цикла for и, соответственно, два break (либо и без них, но в ущерб эффективности), но это неправильно..

Короче, вот код, и вторично писать что-то подобное в течение как минимум ближайшего года я не намерен )). Да, еще: в виду своей лютой неприязни к латинице, я сделал кагбэ английскую версию , извиняюсь.

type
  tLastName= (Smith,Johnson,Jeckson);
  tFirstName= (John,Jeck,Mary);

var
  MM511: array[tLastName] of tFirstName;
  ThereAreNamesakes: boolean;
  i,j: tLastName;

begin
  {случайное заполнение массива}
  Randomize;
  for i:= Low(tLastName) to High(tLastName) do
    MM511[i]:= tFirstName(Random(Ord(High(tFirstName))+1));
  {вывод}
  for i:= Low(tLastName) to High(tLastName) do writeln(MM511[i],' ',i);
  writeln;

  ThereAreNamesakes:= false;
  i:= Low(tLastName);
  while (i<High(tLastName)) and not ThereAreNamesakes do begin
    j:= i;
    while (j<High(tLastName)) and not ThereAreNamesakes do begin
      ThereAreNamesakes:= MM511[i]=MM511[Succ(j)];
      Inc(j)
    end;
    Inc(i)
  end;
  writeln(ThereAreNamesakes);
  readln
end.