Добавить методы в О7/13

[ilovb]

Лично я против кода процедур в описании рекорда/объекта. Только заголовки! 

[vlad]

Посмотрите на объекты в Active Oberone

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

[vlad]

Итак, свершилось. Методы добавлены: https://github.com/vladfolts/oberonjs/wiki/eberon-methods. Код с помощью них написан: https://github.com/vladfolts/oberonjs/blob/master/src/ob/Types.ob.

Замечания и предложения приветствуются.

[vlad]

Новые впечатления от переписывания:
- конструкторы полезны в том числе и для инициализации базового класса.
- так уж выпало, что переписывание совпало по времени с очередной дозой восторга по поводу обероновского синтаксиса на сайте Зорко. Ну очень смешно. Исходник после переписывания увеличился в два раза... А ведь это был JS, даже не питон...

[Geniepro]

... так уж выпало, что переписывание совпало по времени с очередной дозой восторга по поводу обероновского синтаксиса на сайте Зорко. Ну очень смешно. Исходник после переписывания увеличился в два раза... А ведь это был JS, даже не питон...

Ну так оберонщегам надо же как-то обосновать свои 500 строк кода в день ))

[Geniepro]

Итак, свершилось. Методы добавлены: https://github.com/vladfolts/oberonjs/wiki/eberon-methods. Код с помощью них написан: https://github.com/vladfolts/oberonjs/blob/master/src/ob/Types.ob.

Замечания и предложения приветствуются.

PROCEDURE Record.initializer(cx: Context.Type): JsString.Type;
    RETURN JsString.concat(JsString.concat(JsString.concat(
        JsString.make("new "),
        cx.qualifyScope(SELF.scope)),
        SELF.cons),
        JsString.make("()"))
END Record.initializer;

А куда делся BEGIN? о_О

[vlad]

А куда делся BEGIN? о_О

BEGIN не нужен, если нет statements. См. грамматику.

[Geniepro]

А куда делся BEGIN? о_О

BEGIN не нужен, если нет statements. См. грамматику.

Нарушается правило наименьшей неожиданности...

[vlad]

Нарушается правило наименьшей неожиданности...

Это все ерунда. Вот невозможность поставить точку с запятой после RETURN и после последного филда в рекорде - да, доставляет

[valexey_u]

Нарушается правило наименьшей неожиданности...

Это все ерунда. Вот невозможность поставить точку с запятой после RETURN и после последного филда в рекорде - да, доставляет

Да, это самые частые мои "опечатки" при например портировании компилятора на Oberon rev 2013 (в другое окружение). Ну и при написании биндингов тоже.

[Geniepro]

Нарушается правило наименьшей неожиданности...

Это все ерунда. Вот невозможность поставить точку с запятой после RETURN и после последного филда в рекорде - да, доставляет

А вот это надо пофиксить! ))

[vlad]

А вот это надо пофиксить! ))

Не, если дело дойдет до синтаксиса, то надо выкидивать всю архаику нафиг. Вместе с капсом. Точки с запятой тут как мертвому припарка...

[kkkk]

А куда делся BEGIN? о_О

BEGIN не нужен, если нет statements. См. грамматику.

В грамматике неточность. По ней вдобавок получается, что после StatementSequence перед RETURN не должно быть точки с запятой, что опровергают все примеры.
По хорошему должно быть как-то так:
ProcedureBody = DeclarationSequence [ BEGIN ( StatementSequence [";" RETURN expression] | RETURN expression ) ] END

[vlad]

А куда делся BEGIN? о_О

BEGIN не нужен, если нет statements. См. грамматику.

В грамматике неточность.

Я бы не стал "исправлять" по своему разумению вполне формальную оригинальную запись. Потому что так можно далеко зайти (особенно если иметь "непаскальный" опыт).

По ней вдобавок получается, что после StatementSequence перед RETURN не должно быть точки с запятой, что опровергают все примеры.

Именно так. Точка с запятой может отсутствовать. Поэтому примеры ничего не опровергают. Видимо Вирт по привычке всегда ее ставит (RETURN как не-statement появился недавно) .

По хорошему должно быть как-то так:

По-хорошему - идиотизм запрещать точку с запятой после последнего филда и после RETURN. Здравый смысл принесенный в жертву формалистике.

[valexey_u]

А куда делся BEGIN? о_О

BEGIN не нужен, если нет statements. См. грамматику.

В грамматике неточность. По ней вдобавок получается, что после StatementSequence перед RETURN не должно быть точки с запятой, что опровергают все примеры.
По хорошему должно быть как-то так:
ProcedureBody = DeclarationSequence [ BEGIN ( StatementSequence [";" RETURN expression] | RETURN expression ) ] END

Кстати, пока я на это дело при компиляции Виртовский сорцов не напарывался.