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

[vlad]

Следующее расширение - STRING. Это будет value-тип

Фиксированной длины?

Нет конечно. Обычная иммутабельная строка любой длины. Можно смотреть на нее как на расширение ARRAY OF CHAR, только не модифицируемый и с добавленной операцией '+'.

[Губанов Сергей Юрьевич]

Так ведь обычная иммутабельная строка любой длины является ссылочным типом: нужен указатель на буфер любой длины.

[vlad]

Так ведь обычная иммутабельная строка любой длины является ссылочным типом: нужен указатель на буфер любой длины.

А иммутабельность как обеспечить? А оператор сложения? Кроме того, очень не хочется иметь NIL строки (по опыту шарпа сужу - дурной nullOrEmpty или как там его). Чтобы сделать нормальный STRING средствами языка нужно нехило расширить O7. Я пока пытаюсь маленькими шажками идти и хорошо проверенными.

P.S. Ну и конечно оно должно хорошо ложиться на JS строки. Вроде никаких серьезных препятствий для этого нет.

[vlad]

Теперь результат процедуры можно вызывать (если это процедурный тип) или обращаться к полям (если это указатель): https://github.com/vladfolts/oberonjs/wiki/eberon-procedure-call-result

Штука, конечно, непринципиальная, но реально бесила...

[vlad]

Экспорт полей записи только для чтения (как в ББ) - https://github.com/vladfolts/oberonjs/wiki/eberon-record-fields-read-only-export.

[vlad]

Добавил сразу два расширения (одно зависит от другого):

1. Переменные "по месту" (избавляемся от VAR). Переменные можно объявлять (и одновременно инициализировать) везде в коде процедуры. Тип переменной выводится из выражения инициализации:

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

v <- f(); (* новая переменная 'v' такого же типа, как результат f() *)
https://github.com/vladfolts/oberonjs/wiki/Eberon-In-Place-Variables

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

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

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

https://github.com/vladfolts/oberonjs/wiki/Eberon-Implicit-Type-Narrowing

[ilovb]

Чет я не очень понимаю как ты смог пункт 2 реализовать.
Как ты разруливаешь такие ситуации?:
IF (pb IS PDerived)  OR Other THEN
        pb.derivedField := 123;
END;

[ilovb]

А вообще, вот это конкретное изменение (2), имхо, прямо противоположная идеям Оберона вещь. Т.е. не то чтобы плохо (за творческий поиск респект), но это уже совсем не Оберон.

[valexey_u]

А вообще, вот это конкретное изменение (2), имхо, прямо противоположная идеям Оберона вещь. Т.е. не то чтобы плохо (за творческий поиск респект), но это уже совсем не Оберон.

Почему?

[valexey_u]

Похоже в компиляторе имеется баг:

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

MODULE T;
TYPE
    Base = RECORD END;
    PBase = POINTER TO Base;
    Derived = RECORD (Base) derivedField: INTEGER END;
    PDerived = POINTER TO Derived;
VAR
pbVar: PBase;
BEGIN
pb <- pbVar;
    IF pb IS PDerived THEN
        pb.derivedField := 123;
    END;

    ASSERT(~(pb IS PDerived) OR (pb.derivedField = 123));
END T.

TypeError: undefined is not a function

[valexey_u]

Чет я не очень понимаю как ты смог пункт 2 реализовать.
Как ты разруливаешь такие ситуации?:
IF (pb IS PDerived)  OR Other THEN
        pb.derivedField := 123;
END;

Очень легко - там работает только если там нет альтернативной ветки в условии:

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

    IF (pb IS PDerived) & b THEN (* работает*)
        pb.derivedField := 123;
    END;


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

    IF (pb IS PDerived) OR b THEN
        pb.derivedField := 123; (* ошибка компиляции: line 13: type 'Base' has no 'derivedField' field *)
    END;


[vlad]

А вообще, вот это конкретное изменение (2), имхо, прямо противоположная идеям Оберона вещь.

Какой именно идее оно противоречит? С точки зрения математики там все чисто и просто - доказывается истинность/ложность/непределенность выражения при заданном типе и любых других аргументах. Сложность там возникает только применительно к однопроходной схеме. Причем сложность не сколько в коде и его количестве, сколько в читабельности всего этого и понимании как оно работает + сильная завязка на конкретную грамматику.

[vlad]

TypeError: undefined is not a function

Ага. Issue пока не завел - пароль гитхабовский забыл

[ilovb]

Очень легко - там работает только если там нет альтернативной ветки в условии:

Не понял шутку юмора. Так значит таки не работает? O_o

[valexey_u]

TypeError: undefined is not a function

Ага. Issue пока не завел - пароль гитхабовский забыл

Завел: https://github.com/vladfolts/oberonjs/issues/47