Oberon-07/13: заметки

[ilovb]

Кроме того похоже что вообще IS нельзя с RECORD использовать

А нет работает.

Но value variable cannot be used меня озадачило.

[vlad]

invalid type test: a value variable cannot be used

vlad, ты тут как бы намекаешь, что плюшка только для POINTER?
Кроме того похоже что вообще IS нельзя с RECORD использовать. Это что за прикол?

Да, это очень интересный момент. Я до последнего хотел делать переменные по месту как ссылки для рекордов (там даже тест закомментаренный остался) и тогда твой пример работает, но в итоге отказался от него в пользу единообразия - все переменные по месту являются value-типами, т.е. в случае рекордов/массивов они копируются (и не могут использоваться в IS).

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

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

VAR v <- x.pointerToRecordField^;
ASSERT(v IS Derived);


[ilovb]

Понятно. Меня как раз message bus интересовала.

[Kemet]

2. Автоматическое приведение типа после проверки (аналог WITH), работает только с переменными по месту из пункта 1.

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

    IF pb IS PDerived THEN
        pb.derivedField := 123;
    END;


Зачем перегружать известные и предсказуемые конструкции всякой чухнёй?

[vlad]

Зачем перегружать известные и предсказуемые конструкции всякой чухнёй?

И вам спасибо за отзыв

[Peter Almazov]

А чем не понравилось слово "as", как в C#?

[vlad]

А чем не понравилось слово "as", как в C#?

Надо новое имя переменной придумывать. В случае message bus не очень удобно.

[valexey_u]

А вот тут народ в Обероне алчут структурные литералы: http://zx.oberon2.ru/forum/viewtopic.php?f=10&p=1275&sid=84c4b2cfe9831ae7d0a16b6350731f97#p1275

Более того - считают что их отсутствие -- самый большой минус всех Оберонов и производных от них.

Правда хотят пока только один их тип - массивы. Но лиха беда начало :-)

[vlad]

Ну вот, нашел таки место, где оригинальный оберон можно еще больше ограничить Сделал non-VAR аргументы только для чтения: https://github.com/vladfolts/oberonjs/wiki/Eberon-non-VAR-arguments-are-read-only

[Valery Solovey]

Даже записи? На всю глубину? Круто.

А OUT параметры уже выпилены?

[vlad]

Даже записи? На всю глубину? Круто.

Записи и так были read-only, на всю глубину, согласно Вирту. Их, кстати, даже кастать нельзя - тоже согласно Вирту. Мое ограничение по сравнению с оригинальным обероном касается только скалярных типов.

А OUT параметры уже выпилены?

В обероне нет OUT-параметров, только VAR - здесь никаких изменений нет.

[vlad]

В свете переменнных по месту очень интересно начинает выглядеть такой конструкт:

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

s <- "abc";

Долго думал. Пока склоняюсь к идее, что это "константа по месту". Т.е., ведет себя аналогично CONST s = "abc", только с поправкой на область видимости.

[vlad]

Долго думал. Пока склоняюсь к идее, что это "константа по месту". Т.е., ведет себя аналогично CONST s = "abc", только с поправкой на область видимости.

Или всегда делать строкой STRING...

[Kemet]

Ну вот, нашел таки место, где оригинальный оберон можно еще больше ограничить Сделал non-VAR аргументы только для чтения: https://github.com/vladfolts/oberonjs/wiki/Eberon-non-VAR-arguments-are-read-only
[/quoteJОни потому "нек только для чтения", что их используют в качестве локальных переменных, для экономии, видимо

[vlad]

Они потому "нек только для чтения", что их используют в качестве локальных переменных, для экономии, видимо

Да, наверное, можно сэкономить сколько-то тактов и стека. Но для ЯВУ неактуально (не говоря уже о js-бакенде) и мешает.