Ответ на »сообщение 129« (Сергей Губанов)
___________________________

Не очень понятно что Вы имели в виду, ведь в Обероне для этого как раз есть WITH:
WITH msg: MsgType1 DO (* ... *)
| msg: MsgType2 DO (* ... *)
| msg: MsgType3 DO (* ... *)
| msg: MsgType4 DO (* ... *)
ELSE (*...*)
END

Вообще да, почему-то думал что WITH это в О2. Это как раз то что надо, если конечно эффективно реализовано.

Ответ на »сообщение 133« (AVC)
___________________________

Этот уважаемый натуральный ряд IMHO не спорит с модератором а работает на публику. Если бы его волновало решение он предложил бы модератору в личку. Но парень упорно добивается когда лопнет терпение что бы ветку закрыли или что бы приняли его правила игры. Если бы сюда разрешали писать только зарегистрированым и лишали регистрации,тогда его пыл поубавился.

Уважаемый натуральный ряд!

Практика показывает, что спорить с модератором также бессмыслено, как с судьей в футболе.
Независимо от того, правы Вы или нет.
Прошу Вас не подвергать нашу ветку риску закрытия.
Мне было бы очень обидно.

Ответ на »сообщение 125« (ASU)
___________________________

Хм... С моей точки зрения, ОТ - это "сферический конь в вакууме"...

К сожалению, я довольно плохо представляю себе "сферического коня в вакууме". :(

Все разговоры об инструментах (а язык программирования (даже ассемблер) - это частный случай инструмента) безотносительно области их применения - моветон... IMHO, разумеется.

Неужели все?
Например, есть язык программирования (Оберон, Си++ или ассемблер), есть область его возможных применений, есть определенная связь между свойствами языка и областью его применений.
Именно наличие тех или иных свойств у языка (или целой программной системы) делают его пригодным или непригодным для выполнения конкретных задач.
Вот мы и пытаемся обсуждать свойства -- как языка Оберон, так и всей обероновской технологии -- чтобы, в частности, разобраться в том, где это хорошо работает, а где нет.

Ответ на »сообщение 126« (Mirage)

Да я собственно уже предложил - если CASE будет применим для типов, то все с безопасностью типов в порядке. В Дельфи вообще нет препятствий к этому, если метакласс признать полноценным типом. Ну и считать такие константы ordinal.:)

Выражение (obj.type = MyType) проверяет точное соответствие типа,
а выражение (obj IS MyType) истинно даже если тип obj является производным от MyType.

В Обероне чуть сложнее:

CASE msg OF
  |Message: console.Writeln(msg(Message).str);
  |SleepMessage: sleep(msg(SleepMessage).amount);
  ELSE <еще чего-нибудь>
END

Не очень понятно что Вы имели в виду, ведь в Обероне для этого как раз есть WITH:

WITH msg: MsgType1 DO (* ... *)
| msg: MsgType2 DO (* ... *)
| msg: MsgType3 DO (* ... *)
| msg: MsgType4 DO (* ... *)
ELSE (*...*)
END