Отличие type и var, Отличие type и var Опции

[-notpron]

Всем добрый вечер, не могу никак понять, в чем разница между type и var? Скорее всего - я немного не допонял саму функцию type.
И я совсем запутался в порядковых типах данных, для чего они нужны? Как(не теоритически) можно проверить функцию, например, ord(x)? Заранее спасибо)

[IUnknown]

Зацикленные целые множества (группы "по модулю") весьма часто бывают нужны. Встроенной поддержки их в языке Pascal нет.

Кстати, встроенной поддержки циклических перечислений, определенных пользователем, насколько я помню, нет нигде, хотя очень многие просят. В некоторых языках есть встроенные модульные типы (обладающие необходимым функционалом). Но пользоваться вариантом "описать модульный тип, а потом Sun, Mon, ... Sat - как константы этого типа" не очень удобно, проще переопределить функции Pred и Succ:

{$mode objfpc}
type
   Week = (sun, mon, tue, wed, thu, fri, sat);

function Pred (Value : Week) : Week;
begin
   if Value = Low (Week) then Pred := High (Week)
   else Pred := System.Pred (Value)
end;

function Succ (Value : Week) : Week;
begin
   if Value = High (Week) then Succ := Low (Week)
   else Succ := System.Succ (Value)
end;

var
   W : Week;

begin
   W := sun;
   writeln (W); // sun
   W := Pred (W);
   writeln (W); // sat
   W := Succ (W);
   writeln (W); // sun
   W := Succ (W);
   writeln (W); // mon
end.

, а когда в FPC наконец допилят дженерики хотя бы до того уровня, что есть сейчас в Дельфи - можно будет написать две шаблонные функции Pred и Succ и передавать в них параметры любых перечислимых типов.