Ссылки на сайты вакансий доказывают то, что Оберон в промышленности в целом не востребован, по сравнению с голангом (как ближайшим аналогом). Можно сравнить с Дельфи или Явой - будет то же самое или хуже. В принципе может быть, что вакансии Оберона замаскированы под вакансии по Дельфи ввиду каких-то секретных разработок - здесь я могу действительно ошибаться. Какие ещё легко проверяемые критерии востребованности в промышленности ты можешь предложить, если тебя не устраивают вакансии?
О причинах невостребованности я не могу рассуждать доказательно. Оберон, как и почти любой ЯП - это религия. Здесь ничего не докажешь - я много раз убеждался на опыте. Я мог бы пойти в тусовку марсиан и с ними об этом поговорить. На Земле любой ИТ-шник с синдромом утёнка будет предвзят. Хотя нынешняя молодёжь, может быть, сразу становится полиглотами.
Поэтому только вы, оберонщики, если захотите, сможете задуматься, "а почему Оберон не востребован". Потому ли, что "нам не хватило финансов продвинуть Оберон"? Потому ли, что "люди дураки и не понимают, как Оберон хорош"? Или по каким-то другим причинам? Я здесь ничем не могу помочь - думает каждый сам за себя. Моё мнение - пренебрежение к сложившимся стилям работы (REPL, пошаговая отладка) сыграло здесь свою заметную роль.
Я изначально не собирался доказывать, что пользователям Оберона нужен отладчик. Я утверждал то, что в промышленном программировании отладчик повышает производительность труда и, как следствие, конкурентоспособность. В принципе, это я тоже доказать не могу, это можно определить по результатам опросов профессионалов, по разным языкам. В Обероне, если отладчика нет или им никто не пользуется по идейным причинам, опрос покажет, что отладчик не нужен. Но это может значить не то, что отладчик не был бы безполезным, а всего лишь то, что его отвергли по идейным причинам и тем самым исключили для себя возможность выяснить, действительно ли отладчик полезен.
Вы считаете, что в обероне есть что-то магическое, что делает отладчик ненужным почти никогда. Я в упор не вижу, что в Обероне есть настолько магического, чего не было бы в Java или Golang, чтобы отладчик стал настолько уж не нужным.
Встроенного доказателя теорем о коде, способного анализировать системы, с туториалом для чайников я не вижу.
Статического анализатора кода не вижу. Есть PVS studio, у него нет версии под Оберон. Ну, может быть, я просто не в курсе - я такой не искал. Для JS есть eslint (без него вообще нельзя жить, по сути, но то JS). Судя по тому, какой в BB "Repl", рассчитывать на lint тоже вряд ли стоит. Но может быть, он и существует.
Автоматического рефакторинга не вижу. Скорее всего, его просто нету.
Т.е. даже те инструменты, которые тут объявлялись магическими, в реальности не существуют. А в других языках они есть.
Но цель данного разговора не совсем ясна. Думается, про отладчик уже вполне полноценный обмен мнениями произошёл.
Если ты считаешь, что отладчик не нужен - продолжай считать. Отладчик, слава Богу и тебе, в BB есть. И если я буду пользоваться BB, то я буду пользоваться и отладчиком.
А вот вопрос, нужно ли учить отладке в школе, не связан с Обероном. Даже если мы предположим, что оберон столь идеален, что отладчик ему не нужен, то в промышленности пользуются не Обероном (см. вакансии), а другими языками. JS - самый популярный на сегодня ЯП в мире. И отладчик в нём, по мнению пользователей JS, нужен. Так что, если школа готовит людей к реальной жизни, то нужно рассказывать и про отладчик. Если же в школе работает тайный план Вирта по захвату мира через систему образования, то это другой разговор