Oberon space

Цитата: dizer от Ноябрь 13, 2014, 10:05:19 pm

А если серьезно, то интересен вопрос можно ли на основе данной концепции построить язык БОЛЕЕ простой чем Виртовский Оберон со сравнимой (или даже более широкой) областью использования, но лучшими пользовательскими качествами?

Более простой - конечно можно. Например сделав все массивы динамическими. Язык будет проще. Но вот области близкие к железкам потеряем. Так что я уже давно не испытываю иллюзий по поводу ну очень простого и в то же время ну очень выразительного и эффективного языка. Можно стремиться только к какой-то середине. Как я уже говорил в O7 эта середина сильно смещена от выразительности к простоте компилятора/эффективности для железки. Eberon - попытки сместиться к выразительности за счет сознательного усложнения.

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

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

Это МОДНОЕ баловствоo

А если серьезно, то интересен вопрос можно ли на основе данной концепции построить язык БОЛЕЕ простой чем Виртовский Оберон со сравнимой (или даже более широкой) областью использования, но лучшими пользовательскими качествами?

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

какое -то описание странное,Влад, или что то с моим аглицким?
начиная с
"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 му измерению.. что нужно сделать в ебероне для этого?

Цитата: dizer от Ноябрь 12, 2014, 01:04:34 pm

Уфф  окинул взглядом Оберонную активность на этом форуме на этом форуме (за последний год) - и есть ощущение, что тема исчерпала себя  Господа... что скажете?

Уже все обсудили Хотя я тут собираюсь закинуть тему про динамические массивы в ебероне (сейчас доку пишу) - можно будет пообсуждать.

Угу, измываемся  над самой идеей "неприкосновенного". Слушай Влад.. а может сразу ход конем - введешь кортежи (вместе с затуплением и раступлением) to defile the very idea, так сказать, down to the radical point.

А что с любителям Оберона во всепланетном масштабе ( я про обьединение многочисленных  наследников таки почившего после долгих мучений BB)?

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

Черт.. Сергей.. вот честно только что увидел - аналогичный пост во флуде...