| Оберон-технология: особенности и перспективы |
Тематика обсуждения: Оберон-технология. Особенности, перспективы, практическое применение.
Всего в теме 6256 сообщений
Добавить свое сообщение
Отслеживать это обсуждение  Обсуждение из раздела
Школа ОБЕРОНА
| № 2616 06-02-2007 08:54 |   |
Ответ на »сообщение 2612« (Geniepro)
___________________________
Кстати, да, а где критерии, по которым эти школы можно различать? ;о)
Собственно задачка, о которой упоминал, в этом-то и состоит... Не по критериям распределить языки направо-налево, а по языкам и дополнительным рассуждениям сформировать критерии. В результате получится модель, которую можно критиковать и анализировать. А может, даже и использовать в мирных целях :)
| № 2615 06-02-2007 08:47 | |
Ответ на »сообщение 2611« (Trurl)
___________________________
RTTI в Хаскеле не меньше, чем в Обероне.
Где об этом можно узнать поподробнее?
А то мне пока попадалось только утверждение об отсутствии необходимости в RTTI в Хаскелле...
И, кстати, а зачем в Хаскелле нужна RTTI?
| № 2614 06-02-2007 08:38 | |
| № 2613 06-02-2007 08:36 | |
Ответ на »сообщение 2608« (Geniepro)
___________________________
Кстати, насколько сильно затрудняют автоматическую верификацию динамическая типизация, имеющаяся в Оберонах (операторы WITH, IS)?
ИМХО, она все же скорее статическая --- "контракт" (в смысле применимости некоторого набора операций к данному объекту), который должен обеспечивать объект, фиксирован на этапе компиляции, а наличие операций IS/WITH с точки зрения верификации сродни наличию оператора ветвления. Более того, в истинно динамических языках, типа Лиспа, верификация тоже возможна, разве что придется тащить в формальную спецификацию программы еще и все те дополнительные условия, которые при статической типизации проверяет "за сценой" компилятор. (ИМХО статическая типизация, если забыть на время о ее роли в генерации эффективного кода, есть ни что иное, как частичная верификация относительно весьма слабых предусловий, называемых "условиями совместимости типов").
| № 2612 06-02-2007 08:34 | |
Ответ на »сообщение 2593« (Руслан Богатырев)
___________________________
где критерии, по которым эти школы можно различать.
Кстати, да, а где критерии, по которым эти школы можно различать? ;о)
| № 2611 06-02-2007 08:34 | |
Ответ на »сообщение 2608« (Geniepro)
___________________________
>>> с Хаскеллом мне ну более-менее понятно - полностью статически типизированный язык, в котором нет никакой нужды в RTTI (без которой Обероны как без рук)
RTTI в Хаскеле не меньше, чем в Обероне.
| № 2610 06-02-2007 08:07 | |
Ответ на »сообщение 2607« (Руслан Богатырев)
___________________________
Кое-что, правда, потихоньку появляется. См., например, http://zvezda.ru/politics/2006/12/06/education.htm
про двуступенчатую систему образования:
она у нас появилась до болонского процесса
«федеральный закон о высшем и послевузовском профессиональном образовании» от 1996 года
тогда как первое подписание болонского соглашения было в 1999г(не Россией еще)
у нас бакалавр и магистр наоборот подразумевали подготовку научных кадров
| № 2609 06-02-2007 07:48 | |
Ответ на »сообщение 2607« (Руслан Богатырев)
___________________________
Кое-что, правда, потихоньку появляется. См., например, http://zvezda.ru/politics/2006/12/06/education.htm
спорная статья
относительно развивающего обучения, того что у нас была самая-самая система образования ну и некоторые доводы
истерика прям
хотя с некоторыми доводами можно согласиться
| № 2608 06-02-2007 07:27 | |
Ответ на »сообщение 2517« (Илья Ермаков)
___________________________
Хоар вроде бы сейчас занимается как раз-таки ортогональным к ФП подходом - развитием методов автоверификации и доказательства императивного кода. На мой взгляд - для практики самый перспективный подход. И оберонщики здесь тоже на месте не стоят, хе-хе ;)
Интересно...
А какие ведутся работы в области автоматической верификации программ на Оберонах?
Кстати, насколько сильно затрудняют автоматическую верификацию динамическая типизация, имеющаяся в Оберонах (операторы WITH, IS)?
Например, с Хаскеллом мне ну более-менее понятно - полностью статически типизированный язык, в котором нет никакой нужды в RTTI (без которой Обероны как без рук), потому что транслятору полностью известна вся информация от типах к моменту генерации кода. А если не известна - то код просто не будет сгенерирован и, соответственно, выполнен - транслятор выдаст сообщение о неопределённости типов тех или иных выражений... Статическая полиморфная система типов Хиндли-Милнера с классами типов - сильная вещь, однако...
Плюс ещё однократное присваивание - тоже сильно облегчает верификацию программ...
А вот в динамически типизированных Оберонах (ну хорошо, в частично-динамически типизированных Оберонах) - как в императивных Оберонах обстоит сейчас дело с верификацией программ, особенно - с автоматической?
| № 2607 06-02-2007 07:14 | |
Ответ на »сообщение 2605« (Jean)
___________________________
Но почему нельзя Паскаль заменить на Оберон - не могу понять. Получается, что из двух "детей" профессора Вирта одному просто больше повезло. А другой, который еще лучше с точки зрения образовательных возможностей, никак не может обратить на себя внимание и добиться признания. Одним словом, Золушка, которая еще в начале сказки.
"Нельзя" потому что утверждено/удобно оставлять как есть. Чтобы было "можно", надо либо использовать не взирая ни на что (кто-то так и делает), либо добиться другого утверждения в верхах (пока что-то не видать), либо сделать "неудобным". Последнее можно попытаться решить путем публичной дискредитации. Только вот она может привести к другой защитной реакции -- изъятию и самого Паскаля. Но если ничего не делать, тот под лежачий камень, как известно...
Известный прием: возможно, имеет смысл нанести аккуратные точечные удары, опубликовав материалы в авторитетных для средней школы изданиях, причем разных специалистов. Для этого подсобрать банк аргументации и заодно напечатать разгромные статьи в ИТ-изданиях. После этого можно уже давить на функционеров (точнее "бить" поверх их голов, по вышестоящим инстанциям), подключив сюда и думские комитеты. А дальше маховик раскручивается несложно: почти наверняка найдется активный политический деятель, который захочет набрать себе дополнительных очков, тем более в преддверии выборов.
Только вот не стоит мельчить и все сводить к одному Оберону, а подавать его как один из важных, но фундаментальных моментов в реформировании того самого образования (не только среднего), которое заточено под коммерцию и которое убивает наше национальное достояние -- интеллектуальные ресурсы, определяющие в XXI веке потенциал государства.
Кое-что, правда, потихоньку появляется. См., например, http://zvezda.ru/politics/2006/12/06/education.htm
Добавить свое сообщение
Отслеживать это обсуждение
| Дополнительная навигация: |
| 
