На базарной площади довольно часто можно слышать высказывания об
Обероне. Мне кажется, что на базарной площади пора появиться ветке об
этой системе и языке, что-то вроде "Мысли об Обероне". Что это такое, перспективы
этой системы, что
полезного можно извлечь из него для программирования на Дельфи
(например) и др.
Ivan
Всего в теме 4531 сообщение
Ссылки по теме "Оберон" и "Компонентный паскаль"
Отслеживать это обсуждение 
- Free Pascal, Oberon, BlackBox
- Разработка препроцессора gpre для delphi\freepascal.
- Component Pascal и среда разработки BlackBox
- FreePascal: реальная альтернатива или OpenSource — блажь?
| № 3861 16-12-2005 06:57 |   |
Ответ на »сообщение 3833« (Руслан Богатырев)
___________________________
>>>Предложите четвертый вариант.
Мне и третий подходит. Меня напугало утверждение, что "в настоящих модульных языках" модуль одновременно является и единицей компиляции и единицей загрузки.
Это разные проблемы: разбиение текста программы на части, пригодные для компиляции и разбиение программы на отдельно подгружаемые части. И механизмы их решения нельзя сваливать в кучу.
| № 3860 16-12-2005 06:52 | |
Ответ на »сообщение 3839« (AVC)
___________________________
>>>в конечном счете Вам придется поставлять программы вместе со своей персональной версией Windows. :)
Я предпочитаю поставлять со своим компьютером, если надежность действительно важна.
>>>Я вижу единственное спасение - "контрактное программирование"
Материалов по "контрактному программированию" практически нет, может просветите?
>>>Вот тогда ошибки при использовании чужих компонентов исчезнут. Ну, почти. :)
К сожалению все автоматизированные способы контроля проверяют только формальные признаки соответствия запрашиваемой и предоставляемой услуги. Если бы компьютер мог распознать алгоритмическое несоответствие, он давно сам писал бы программы :)
| № 3859 16-12-2005 06:15 | |
Ответ на »сообщение 3841« (Trurl)
___________________________
Ответ на »сообщение 3831« (Takun)
___________________________
Оно бы хорошо, но как быть с VAR A:ARRAY M.Len OF INTEGER; Запретить?
Скачать релиз BlueBottle и проверьте, как оно.
| № 3858 16-12-2005 05:51 | |
Ответ на »сообщение 3857« (Trurl)
___________________________
>>>Кстати, модуль можно определить как (многоосновную) алгебраическую систему. Но станет ли от этого легче?
Станет, давайте!
| № 3857 16-12-2005 05:09 | |
Ответ на »сообщение 3856« (Сергей Губанов)
___________________________
>>>На самом деле, определение массы очень простое.
На самом деле ;) Вы дали еще одно определение массы, которое придется увязывать с другими.
Кстати, модуль можно определить как (многоосновную) алгебраическую систему. Но станет ли от этого легче?
| № 3856 16-12-2005 04:23 | |
Ответ на »сообщение 3854« (Trurl)
Они то одинаковы, но если вы захотите дать определение массы, у вас получится либо определение инертной, либо определение гравитационной.
Это смотря как его давать. На самом деле, определение массы очень простое. G[0, 0] уравнение Эйнштейна имеет второй порядок по времени, в то время как остальные первый или нулевой. Масса - это константа интегрирования G[0, 0] уравнения Эйнштейна по времени.
| № 3855 16-12-2005 04:16 | |
Ответ на »сообщение 3852« (Руслан Богатырев)
Видите ли. Есть такое направление Component-Oriented Programming. Есть язык Component Pascal. Они базируются на слове, которое может использоваться "как душе угодно"?
В COP, компонент - это термин, а что это такое определено у его автора - Клеменса Шиперского. Чтобы отличать модульные системы не использующие ООП от модульных систем с ООП, Шиперский назвал вторые - компонентными системами. Только и всего.
| № 3854 16-12-2005 04:12 | |
>>> Не надо плодить лишние сущности (инертную и гравитационную массы, которые одинаковы).
Они то одинаковы, но если вы захотите дать определение массы, у вас получится либо определение инертной, либо определение гравитационной.
Так же и с модулями и с классами. Можно придумать определение модуля или класса. Но они не будут совпадать с одноименными понятиями в языках программирования. Либо они будут слишком общими и бесполезными.
| № 3853 16-12-2005 04:03 | |
Ответ на »сообщение 3851« (Руслан Богатырев)
Что является модулем (на уровне исходных текстов) в модульной системе, реализованной исключительно на концепции класса? (Пусть для определенности будет Eiffel.)
Ничто. Дырка от бублика.
--------------
Для определённости, вообще-то, тут больше подошла бы .Net и её канонический язык C#.
| № 3852 16-12-2005 04:00 | |
Ответ на »сообщение 3849« (Сергей Губанов)
___________________________
Модуль - это термин. Компонент - это просто слово. Слово компонент можно использовать как душе угодно, например так: модуль - это компонент модульной системы.
Термин (модуль) должен что-то обозначать в конкретной предметной области. Слово (компонент), видимо, может не быть термином и использоваться "как душе угодно".
Видите ли. Есть такое направление Component-Oriented Programming. Есть язык Component Pascal. Они базируются на слове, которое может использоваться "как душе угодно"?
Отслеживать это обсуждение
| Дополнительная навигация: |
| 
