Oberon space

Глянув на список работ на страничке Вирта, венее, на названия этих работ:

The Programming Language Oberon-07 (Revised Oberon)
Difference between Oberon-07 and Oberon
Porting the Oberon Compiler from Oberon to Oberon-07
можно сделать однозначный вывод о названии обсуждаемого языка, и это -  Oberon-07

Цитата: Kemet от Ноябрь 22, 2013, 10:00:03 am

Вспоминается старый добрый FoxPro, у которого во всех циклах, включая аналог форыча SCAN были LOOP и EXIT и никто по этому поводу проблем не испытывал.

Ага. Проблемы испытывали/испытывают те, кто теперь в этих поделках пытается разобраться.

А это проблема та же, что сейчас в 1С - код, написанный профессиональными программистами, легко понимается и сопровождается, а остальные поделки, написанные наспех обученными школьниками, анализу не поддаются )))
К тому же, языковые конструкции здесь не причём  - если в голове бардак, то ничто не спасёт, об этом уже 100500 раз говорилось.

Возникла потребность уточнить тип поля в расширении записи:

Зачем?
В своих типах, например в КП, можно использовать модификатор union, хотя это, естественно, не то. А так, нужно учитывать, что в твоём варианте мы должны поменять тип статического элемента, залезти в дескриптор типа вдажедьца, что явно приведет к проблемам.

Цитата: Kemet от Ноябрь 08, 2013, 02:54:37 pm

Я никогда не встречал людей, которые изучают язык программирования по РБНФ и Сообщению о языке.

Я именно так языки и изучаю все новые. И очень огорчаюсь когда внезапно оказывается что вот у этого языка НЕТ ни РБНФ ни репорта нормального (ни тем более стандарта).

Изучаешь или всё-таки ознакомляешься?

Цитата: Kemet от Ноябрь 08, 2013, 12:20:34 pm

Я и говорю - есть здравый смысл, о котором не стоит забывать, следую букве сообщения о языке.

Кроме шуток и передергиваний. Вот представь, что я не писал на паскалях. Но писал много на чем, так что общие представления имею. Откуда мне из репорта узнать, что операция '/' не применима к целым числам? При том, что "из здравого смысла и общего духа языка" я еще могу предположить, что результат этой операции будет целочисленный. Ну так что ж с того - в куче языков '/' применима к целым числам и дает целочисленный результат, без всяких ненужных DIV.

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

Я никогда не встречал людей, которые изучают язык программирования по РБНФ и Сообщению о языке.

Мне кажется, что когда говорят от здравом смысле, всегда подразумевают некий конкретный контекст. Таким образом, говорить о здравом смысле и Обероне в контексте Хаскеля или жабаскрипта не имеет смысла.
Вирт создал целое направление в ЯП и компиляторостроении, и у тех, кто в этот контекст погружен и уверенно плавает, не возникает разночтений или недопониманий. Другое дело, что мы в этом контексте мало ориентируемся, мы чужие на этом празднике жизни, и тащим туда свои шары, бантЫ и клоунские колпаки, которые не всегда вписываются в окружающую обстановку, а потом удивляемся ...

Есть ещё на эту тему From Modula to Oberon and The Programming Language Oberon