Ответ на »сообщение 5475« (Сергей Перовский)
___________________________
Да я сказанул - сложные системы :) В Русской ОС упоминались сети Петри. Но это не совсем то. Пока инструмент манипуляции графами. Вершины и дуги - элементы и связи. Затем навешивать на элементы модули. Разъёмы - к интерфейсам.
ООП для графов не подходит. В Обероне же динамическая загрузка модулей. Группировка в подсистему предполагает выгрузку всех элементарных модулей-элементов подсистемы и загрузку нового обобщенного модуля.
Пока графом научиться легко и удобно крутить.
Можно перезагружать, вообще-то. Тогда и без Оберона можно обойтись. Но с ним изящнее.

Ответ на »сообщение 5472« (Beginner)
___________________________
Я выловил примерно так: С перспективой на Оберон создать инструмент для манипуляции сложными системами. Вот и крапаю в меру сил и понятий.
Позволю себе пару советов:
1.Все таки сложные системы слишком расплывчатое понятие. Лучше вводить и определять собственные термины, иначе очень много времени уходит на терминологические споры.
Мы когда-то ввели собственные понятия ГДТС - гибкие дискретные технологические системы и ЧКТП - человек-культура-технология-природа. Сразу стало понятно, какого типа задачи возникают, какие инструменты необходимы и т.д. и никаких терминологических споров.
2.Прежде, чем создавать программный инструмент, нужно найти или создать соответствующий математический аппарат. Нельзя выбирать язык до формализации задачи. Может оказаться, что гораздо удобнее в данном случае функциональный или объектный или какой-то еще подход. Может для таких задач придется создать принципиально новый подход к программированию.

Ответ на »сообщение 5469« (Jack Of Shadows)
___________________________

Ответ на »сообщение 5468« (Trurl)
___________________________
А вот такую  процедуру тоже можно объявит и нельзя вызвать.
Хе хе. А столько разговоров было о пресловутой "герметичности типов" и "неизбыточности" и "продуманности" оберона :))


А "герметичность" никак от этого не страдает, т.к. компилятор просто ругается в другом месте: в точке вызова такой процедуры (где, естественно, обнаруживает несоответствие типов формального и фактического параметров).

Ответ на »сообщение 5472« (Beginner)
___________________________
Формат форума таков, что это именно поток сознания. Нет веток. Для базара этого достаточно. Не надо всё близко к сердцу принимать.

Ответ на »сообщение 5471« (Стэн)
___________________________
"Какое НЕЧТО нам нужно, чтобы решить ДАННУЮ задачу?"

Начнём с того, что задача не поставлена :)

Каждый вылавливает из потока сознания задачи для себя и находит в них НЕЧТО.
Я выловил примерно так: С перспективой на Оберон создать инструмент для манипуляции сложными системами. Вот и крапаю в меру сил и понятий.

Ответ на »сообщение 5467« (Beginner)
___________________________
>>> Но обсуждение смысла слов и ведёт к выработке локальной конвенции.
Конечно, локальная конвенция - это хорошо, так как, согласен, не все, одно и тоже слово понимают строго одинаково. Но и тут главное не перестараться, а то группа сама себя понимать будет, а за ее пределами - нет.

И если хочется переосмыслить все с самого начала, то лучше ставить вопрос так: "Какое НЕЧТО нам нужно, чтобы решить ДАННУЮ задачу?" Будет это программа - хорошо, не будет это программой - возьмем другое слово. Во всяком случае хоть понятно, что происходит...

Ответ на »сообщение 5468« (Trurl)
___________________________

А вот такую  процедуру тоже можно объявит и нельзя вызвать.
PROCEDURE P(r:RECORD a,b: INTEGER END);
Технически всё корректно - по месту объявлен тип. Создан его дескриптор и дескриптор процедуры.
Через метапрограммирование можно создать экземпляр этой записи (т.к. она имеет дескриптор, хоть и безымянная) и вызвать процедуру.
Не особо всё это полезно, конечно :-)

Ответ на »сообщение 5468« (Trurl)
___________________________
А вот такую  процедуру тоже можно объявит и нельзя вызвать.
Хе хе. А столько разговоров было о пресловутой "герметичности типов" и "неизбыточности" и "продуманности" оберона :))

А вот такую  процедуру тоже можно объявит и нельзя вызвать.

PROCEDURE P(r:RECORD a,b: INTEGER END);

Ответ на »сообщение 5461« (Стэн)
___________________________
Бесполезно искать смысл слов. Так как этот смысл всего лишь конвенция. И вообще, необходимо ставить конкретную задачу и искать пути ее решения

Я тоже за конкретику. Но обсуждение смысла слов и ведёт к выработке локальной конвенции. И для себя из этих разговоров я вывел конкретную задачку манипуляции с графом. Пока без функций. Чисто геометрически.