Оберон-технология: особенности и перспективы |
Тематика обсуждения: Оберон-технология. Особенности, перспективы, практическое применение.
Всего в теме 6256 сообщений
Добавить свое сообщение
Отслеживать это обсуждение Обсуждение из раздела Школа ОБЕРОНА
№ 5416 09-10-2007 00:52 | |
>>> что такое сложность?
Богатая структурированность.
>>> В моем представлении сложность как-то связана с трудностью нахождения
>>> правильного способа делить целое на части таким образом, чтобы результат
>>> удовлетворил многочисленным (и, возможно, несколько противоречивым) требованиям.
Правильных способов может быть несколько для каждого случая.
Я вижу задачу управления сложностью в создании подходящего инструмента для того,
чтобы уметь динамически, удобно и легко менять группировки элементов в сложной системе.
Представление меняется, а система по сути та же.
Собственно сложность регулируется сложностью поставленной задачи и в этом смысле параметр не регулируемый.
(Хотя задачу можно упростить, но это в ущерб адекватности и точности).
Сложность же восприятия можно регулировать детализируя контекст внимания и обобщая остальное.
Оберон с его динамической загрузкой модулей и интерактивностью подходит для этого как нельзя лучше.
Теперь надо сделать ещё шажок и подумать над вопросом "что такое богатая структурированность?"
№ 5415 08-10-2007 15:19 | |
Обдумывая, как составить (по предложению Руслана Богатырева в »сообщение 5393«) список сложностей, как-то пришел к глуповатому вопросу: а что такое сложность?
Конечно, есть такое понятие, как сложность алгоритма; например: O(n*ln(n)).
Но это не то.
Есть перечисление разных видов сложности в Википедии:
http://en.wikipedia.org/wiki/Complexity
Но и это не то.
В моем представлении сложность как-то связана с трудностью нахождения правильного способа делить целое на части таким образом, чтобы результат удовлетворил многочисленным (и, возможно, несколько противоречивым) требованиям.
Как вы думаете, что такое сложность?
(Извините, если вопрос и правда глупый.)
№ 5414 08-10-2007 09:57 | |
Ответ на »сообщение 5411« (AVC)
___________________________
О, надо же, кванторы всеобщности пошли... Этак мы скоро дойдём до экзистенциальных типов и прочих sexy types... :о))
Вообще говоря, поиск любого (не только первого) k-го элемента (?k: 0 < k <= N) работает за O(N).
Ну да, естественно, поиск наименьшего/наибольшего элемента функциями min/max будет быстрее, чем лениво сортировать список и брать первый/последний элементы, но просто я имел в виду тогда, что часто задача решается (даёт нужные результаты) до того, как появляется настоящая потребность в её оптимизации...
№ 5413 08-10-2007 04:23 | |
Ответ на »сообщение 5403« (Руслан Богатырев)
___________________________
>>>Всё в мире относительно. Как Вы думаете, если бы, например, простановка ASSERT производилась автоматически (на основе более высокоуровневых сущностей) и при этом еще контроль и обработка ASSERT не сводились бы к примитивной интерпретации ран-таймом, было бы ещё удобнее? :)
С одной стороны, да.
С другой, не очень ясно, насколько значительным окажется выигрыш.
Вот (по какой-то ассоциации) вспомнил про статейку Брюса Эккеля "Strong typing vs strong testing": http://www.mindview.net/WebLog/log-0025
№ 5412 07-10-2007 15:47 | |
Ответ на »сообщение 5411« (AVC)
___________________________
Вообще говоря, поиск любого (не только первого) k-го элемента (∀k: 0 < k <= N) работает за O(N).
Конечно, ∀k: 0 <= k < N.
Pardon. :)
№ 5411 07-10-2007 15:45 | |
Ответ на »сообщение 5410« (Ptic)
___________________________
Вот в теме по ФП часто приводился такой пример быстрой сортировки на Хаскелле:qs [] = []
qs [x] = [x]
qs (x:xs) = qs (filter (< x) xs) ++ (x:filter (== x) xs) ++ qs (filter (> x) xs)Если честно, то это довольно медленный вариант сортировки, но вот если нужен Вам, например, только первый элемент отсортированного списка - Вы его получите за время, пропорциональное длине массива (O(n)), а не за O(n*log(n))...
Вообще говоря, поиск любого (не только первого) k-го элемента (∀k: 0 < k <= N) работает за O(N).
№ 5410 Удалено модератором | |
№ 5409 07-10-2007 12:01 | |
Ответ на »сообщение 5407« (Руслан Богатырев)
___________________________
Но лучше познакомиться с работами В.Е.Котова (вкл. "Элементы параллельного программирования").
Это очень важная и редкая ныне книга. Она вышла в 1983 г. в мизерном по тем временам тираже -- 8 тыс.экз. Постараюсь выкроить время и отсканировать ее полностью.
№ 5408 07-10-2007 11:24 | |
Ответ на »сообщение 5397« (qwerty)
___________________________
Ответ на »сообщение 5394« (Руслан Богатырев)
___________________________
Поставлю вопрос по-другому. Есть ли в Сети вообще какие-либо исходники на модуле или обероне, написанные Вами?
"Есть ли жизнь за пределами сети..." или "Есть ли софт кроме опен-соурс"? :-)
№ 5407 07-10-2007 10:51 | |
Добавить свое сообщение
Отслеживать это обсуждение
Дополнительная навигация: |
|