Чем Вирту WITH не угодил?

[ilovb]

Да, GPCP надо бы проверить... Сомневаюсь, что они смогли этот случай обойти.

[DIzer]

По крайней мере, они четко поставили проблему - а это очень много... то есть занюханные  австралийцы оказались умнее всемирно признанного мэтра и его школы... такие вот пироги...
За такие речи в коровнике предали бы чела отлучению?

[ilovb]

Расстрел через повешение... не меньше 

[valexey]

Позор не Вирту - он гик и этим все сказано - глупо с него что либо трясти, позор коровцам - которые сделали из него идолище... сомневаюсь что Вирт просил их об этом.. нда а сколько "пафосных" речей о герметичности типов...  о превосходстве Оберонов, о легкости создания компилятора.... по иронии судьбы единственная рабочая (надо проверить) реализация основана на "враждебной" платформе .net... как усерался Инфо21 охаивая ее...

Поправочка - jvm и .net.

[DIzer]

нда... господа почему то мне , возможно, впервые за 2 года регулярного охаивания коровят... грустно, по настоящему грустно...

[DIzer]

нда... осталось узнать , когда трурль обнаружил это говнецо ... - если года 2 назад... можно вполне серьезно обвинить эту  секту  в лицемерии, и целенаправленном одурачивании... альтернатива -  не слаще .. - непроходимая тупость.

[ilovb]

Я поискал там, но не нашел. Может уже цензура зарубила...?

[DIzer]

И понятно, почему Оминк не вы..тся с ББ... им выгоднее это дело замять потихоньку..

[ilovb]

А Вирт имхо правильно поступил. Доказать, что WITH безопасен будет довольно сложно. Значит удалить его нафик. Безопасность имеет больший приоритет, чем удобство.

[DIzer]

С чего бы? все зависит области использования... мне вот например на нее начхать (если использовать обероны для образовательных нужд, там все предельно просто... полгода отрабатываешь навыки алгоритмизации на простейшем высокоуровневом ЯП, а далее переходишь на промышленные яп) -один черт придется переходить на что-то более близкое к реальности...

[ilovb]

У меня просто еще теплится надежда, что он найдет свою нишу 

[Geniepro]

А ведь это очень серьезная дырка в BB (да и в оригинальном Обероне наверно тоже). В безопасном языке, вполне законно можно засрать память!

Я кажется понял почему Вирт не комментирует причины удаления WITH. Вы представляете какой это позор?

Не вздумайте сказать об этом оберонкоровам -- они вас заклюют! 

[vlad]

Охренеть. А ведь это никакой компилятор не отследит.

Мне начинает казаться, что Вирт прав...

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

Код: [Выделить]

WITH p1: derived_p1: Derived1 DO

Где derived_p1 - локальная переменная с типом Derived1. С типом оригинальной переменной p1 ничего не происходит.

[vlad]

Все что нужно - это перестать реюзать одну и ту же переменую (поинтер) с разными типами.

А в качетстве дополнительного профита - станет возможным использовать полноценное выражение в качестве аргумента WITH:

Код: [Выделить]

WITH expression_p1(): derived_p1: Derived1 DO


[vlad]

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