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

[vlad]

Добавил возможность использовать переменную "по месту" непосредственно в FOR:

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

FOR i <- 0 TO 10 DO
...
END
[code]

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

[Valery Solovey]

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

А совместимость-то зачем? Толпы обладателей легаси кода заклюют?

[vlad]

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

А совместимость-то зачем? Толпы обладателей легаси кода заклюют?

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

[Geniepro]

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

А совместимость-то зачем? Толпы обладателей легаси кода заклюют?

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

К чёрту оберонщиков -- они всё равно не оценят, делай как в Аде -- счётчик по месту, только на чтение, и за пределами цикла не виден!!!

[vlad]

К чёрту оберонщиков -- они всё равно не оценят, делай как в Аде -- счётчик по месту, только на чтение, и за пределами цикла не виден!!!

В данном расширении он тоже не виден за пределами.  Только для чтения сделать легко, но пока не буду отвлекаться на косметику.

[vlad]

Наткнулся на интересную проблему - получить указатель на объект в реализации метода этого объекта. В ебероне SELF - это ссылка на объект (VAR T: SELF, а не POINTER TO T: SELF). Кроме того, метод может быть вызван для стекового объекта (или статического - переменной модуля), поэтому просто кастнуть SELF в указатель нельзя (без риска получить ошибку в рантайме).

Бурно обсудили в курилке (всем участникам спасибо). В итоге я пришел к такому компромиссу:
- специальный конструкт SELF(POINTER) для получения указателя
- отсутствие проблем в рантайме гарантируется тем, что объект в методах которого используется такой конструкт не может быть объявлен на стеке (или в модуле) - т.е., может быть создан только через NEW (компилятор проверяет).

Оригинальная проблема (когда понадобился указатель): https://github.com/vladfolts/oberonjs/blob/7c63179c809490ea6c65a9842512c3ad481f95e4/src/ob/Scope.ob#L194

Решение (с помощью SELF(POINTER): https://github.com/vladfolts/oberonjs/blob/master/src/ob/Scope.ob#L192

[Romiras]

Тут ещё один проект есть, наверно в чём-то похожий...
Называется LLJS

[vlad]

Тут ещё один проект есть, наверно в чём-то похожий...
Называется LLJS

Ну да, только там пляшут от С и сразу низкоуровневый бакенд в духе asm.js. Не очень понятно зачем оно, если у LLVM уже есть такой бакенд, но при этом и полноценный фронт (полный С/С++).

[vlad]

Приделал динамические массивы: https://github.com/vladfolts/oberonjs/wiki/eberon-dynamic-arrays
Основная особенность - не ссылочный тип, может быть возвращен из процедуры и не может быть NIL.

[dizer]

какое -то описание странное,Влад, или что то с моим аглицким?
начиная с
"Dynamic arrays are introduced because oberon has no option for dynamically grown sequences except linked lists (and linked lists are not efficient comparing to arrays in some cases)."  - А что Оберон разве имеет встроенную поддержку списков?
далее...
"Dynamic array can be assigned to open, static or another dynamic array but not vice versa."
то есть, пусть пусть мы имеем
VAR a,b: ARRAY * OF INTEGER;
...............
a:=b; (*Это согласно описанию возможно*)
b:=a; (*А вот это -  нет ... и чем , спрашивается, b хуже чем a?*)
далее.. не понятно как изменять емкость динамического массива в многомерном случае... , на пример в Оbj Pascal
мы вызываем SetLength(c,2,6) что бы установить емкость (6 элементов) по 2 му измерению.. что нужно сделать в ебероне для этого?

[vlad]

какое -то описание странное,Влад, или что то с моим аглицким?
начиная с
"Dynamic arrays are introduced because oberon has no option for dynamically grown sequences except linked lists (and linked lists are not efficient comparing to arrays in some cases)."  - А что Оберон разве имеет встроенную поддержку списков?

В обероне можно делать связные списки. Ручками, но можно. Динамические массивы - никак. Даже ручками. Можешь предложить более точную формулировку мысли?

b:=a; (*А вот это -  нет ... и чем , спрашивается, b хуже чем a?*)

Ага, ляп, поправлю.

далее.. не понятно как изменять емкость динамического массива в многомерном случае... , на пример в Оbj Pascal
мы вызываем SetLength(c,2,6) что бы установить емкость (6 элементов) по 2 му измерению.. что нужно сделать в ебероне для этого?

Допилить компилятор Нужно добавить resize/reserve. Просто пока не понадобилось.

[dizer]

В обероне можно делать связные списки. Ручками, но можно. Динамические массивы - никак. Даже ручками. Можешь предложить более точную формулировку мысли?

В этом случае - просто УБРАТЬ - вы описываете новый ВСТРОЕННЫЙ тип - и это совершенно четко ясно из контекста,  по этому любое сравнение с ПОЛЬЗОВАТЕЛЬСКИМ типом как минимум не уместно (ибо оно должно апеллировать к КОНКРЕТНОЙ реализации)

[vlad]

В этом случае - просто УБРАТЬ - вы описываете новый ВСТРОЕННЫЙ тип - и это совершенно четко ясно из контекста,  по этому любое сравнение с ПОЛЬЗОВАТЕЛЬСКИМ типом как минимум не уместно (ибо оно должно апеллировать к КОНКРЕТНОЙ реализации)

Ну хорошо.

[dizer]

Да и еще.. я так и не понял ваш динамический массив это O(1) по доступу к произвольному элементу контейнер или нет?

[vlad]

Да и еще.. я так и не понял ваш динамический массив это O(1) по доступу к произвольному элементу контейнер или нет?

Да, конечно. Обычно это подразумевается для массива.

P.S. Обещать конечно не могу - там же JS внизу.