..А я иду дальше:и говорю компилятору, например:"я не знаю, чему точно равно А в этой точке, но я точно знаю, что в этой точке и далее А>B"...соотв.компилятор может использ. эту инфу в дальнейшем для проверки... («Телесистемы»: Конференция «Микроконтроллеры и их применение»)

Разработка, производство и продажа радиоэлектронной аппаратуры

| Карта сайта | Пишите нам | В избранное

Требуется программист в Зеленограде
- обработка данных с датчиков; ColdFire; 40 тыс.
e-mail:jobsmp@pochta.ru

Телесистемы | Электроника | Конференция «Микроконтроллеры и их применение»

..А я иду дальше:и говорю компилятору, например:"я не знаю, чему точно равно А в этой точке, но я точно знаю, что в этой точке и далее А>B"...соотв.компилятор может использ. эту инфу в дальнейшем для проверки...

Отправлено ТуамОсес 18 декабря 2006 г. 17:37
В ответ на: .....что именно в этой точке должно быть реализовано A=B отправлено ТуамОсес 18 декабря 2006 г. 17:32

Составить ответ | Вернуться на конференцию

Ответы

Если это использовать именно для проверки, получится еще один язык из серии ада. И писать на нем - аццкое занятие будет :) :), как и объем сгенеренного кода будет адским, как и тормоза :). — SM (18.12.2006 17:41:14 85.21.237.237, пустое)
- И, кстати, это все реализовано уже в С. assert называется. — SM (18.12.2006 17:43:20 85.21.237.237, пустое)
  - Ответ: А термин "удаление отладочной информации после окончания тестирования и отладки" Вам ни о чём не говорит? — ТуамОсес (18.12.2006 17:58:3 82.204.230.95, пустое)
    - Говорит о Вашем незнании C. Вы хоть заглядывали в этот "assert.h" - при компиляции без отладочной информации assert переопределяется в "ничего не делать". — SM (18.12.2006 18:00:51 85.21.237.237, пустое)
    - К тому же Ваше "assert" впихивается программистом, у меня будет всё это происходить без нагрузки на программиста — ТуамОсес (18.12.2006 18:00:31 82.204.230.95, пустое)
      - В при попытке изменить значение некоторй переменной мой транслятор будет "пропускать переменную через сито" всех относящихся к ней и сгенерированный на данный момент директив(указаний) и соотношений.....Тормоза говорите?...А например, симулятор AVR-студии симулирующий задержку в 1 Сек 1000 Секунд это как? — ТуамОсес   (18.12.2006 18:04:10 82.204.230.95, пустое)
        
        Так пишите сразу на аде, там все это есть. Или на VHDL, правда это из другой оперы. — SM   (18.12.2006 18:06:55 85.21.237.237, пустое)
        
        Ответ: Млин, сказал же отладочная инфа удаляется, затем работает оптимизатор ...и...никаких тормозов — ТуамОсес   (18.12.2006 18:13:12 82.204.230.95, пустое)
        
        И кстати АДА не плохой язык, раз уж Вы его упомянули...Софт управления атомными реакторами и софт бортовых компьютеров военных самолётов на нём пишется, а не на C/C++..... — ТуамОсес   (18.12.2006 18:16:33 212.248.122.168, пустое)
        
        Ответ: =================>>>>>>>>>>>>>>>>>>>>>>>>>> — ТуамОсес   (18.12.2006 18:25:50 212.248.122.168, пустое, ссылка)
        
        А я где-то сказал что это плохой язык? Если я считаю, что это всё явные излишества, по крайней мере в контексте моих задач, то это вовсе не означает, что это плохой язык. — SM   (18.12.2006 18:18:44 85.21.237.237, пустое)
        
        Хе... Кстати очень интересно, а что будет, если бортовой компьютер во время какого-нить важного и опасного маневра вдруг скажет - "такая то переменная вышла за рамки диапазона" и застрянет на этом? :) :) — SM   (18.12.2006 18:19:56 85.21.237.237, пустое)
        
        А что будет если прога управления бортовым компьютером зависнет вообще ничего не сказав??? Что лучше??? По-поему, лётчику лучше знать причину, почему он сейчас наип...тся, чем не знать..А?....P.S. А вообще Вы слишком узко и буквально восприняли то, что я предлагаю — ТуамОсес   (18.12.2006 18:35:5 82.204.230.95, пустое)
        
        По моему летчику будет уже пофигу. А воспринял я это так, как оно есть. Во всех языках есть вполне достаточные средства контроля, достаточные с точки зрения назначения того или иного языка. Ну а изобретать велосипед, конечно, можно, особенно если делать больше нечего. — SM   (18.12.2006 18:48:58 85.21.237.237, пустое)
        
        Ответ: Что жь...Я этого и ожидал...(&-(((((.....Все новые научные идеи проходят 3 этапа: 1)это полная ерунда 2) в этом что-то есть 3)ну а как же по-другому-то — ТуамОсес   (18.12.2006 19:00:44 212.248.122.162, пустое)
        
        Ответ: Что жь...Я этого и ожидал...(&-(((((.....Все новые научные идеи проходят 3 этапа: 1)это полная ерунда 2) в этом что-то есть 3)ну а как же по-другому-то — ТуамОсес   (18.12.2006 18:57:6 212.248.122.162, пустое)
        
        Если бы эта идея была бы научной и новой......... — SM   (18.12.2006 19:19:23 85.21.237.237, пустое)
        
        Если бы эта идея была бы научной и новой......... — SM   (18.12.2006 19:16:3 85.21.237.237, пустое)
        
        Я думаю (не уверен) что там такое должно быть. Сорри, но не работал с аццкими компиляторами :) — SM   (18.12.2006 18:15:54 85.21.237.237, пустое)
      - А эти ваши новые операторы кто будет писать? Непрограммист? — SM   (18.12.2006 18:01:49 85.21.237.237, пустое)
        
        Ответ: Да программист....Ну обрабатывать все эти директивы в комплексе и генерировать проверки в нужных местах {а также определять эти нужные места} будет транслятор — ТуамОсес   (18.12.2006 18:39:26 82.204.230.95, пустое)
        
        P.S. Про теневые объекты по-моему уже говорил — ТуамОсес   (18.12.2006 18:40:6 82.204.230.95, пустое)
        
        Да кому нужны проверки этих "теневых" объектов. Важен все равно результат вычисления конструкции языка, и только он, а не процесс, как его получали на физическом уровне. И контролировать, и то, если вообще надо, достаточно только результат. — SM   (18.12.2006 18:52:57 85.21.237.237, пустое)
        
        Ответ: Нужны или не нужны - дело Ваше...Спорить с Вами не собираюсь...А вообще я упомянул только часть новаций которые я хочу реализовать....Ну что - то у меня пропало желание ещё чем-то делиться с Вами, Господа — ТуамОсес   (18.12.2006 19:06:29 212.248.122.162, пустое)
        
        .....Всё равно скажете, что "это всё ухня"....Вот "моргание светодиодом" - это ДА!!! Это рулит.. — ТуамОсес   (18.12.2006 19:08:16 212.248.122.162, пустое)
        
        Нет, я так не скажу. При условии, что есть конкретный заказчик, готовый либо проспонсировать эту разработку, либо потом ее купить. А если это просто разглагольствование на тему гибрида С и ады - это действительно полная она самая. — SM   (18.12.2006 19:15:19 85.21.237.237, пустое)
        
        Не отчаивайтесь, Док... "И всё-таки она вертиться!"... — ETM   (18.12.2006 19:11:15 62.117.85.87, пустое)
        
        Католики такой ошибки Галилею не простили бы, сожгли бы его. Они ужасно сильны в грамматике. — -=ВН=-   (18.12.2006 21:04:0 193.125.71.140, пустое)
        
        :o((( — ETM   (18.12.2006 22:57:26 62.117.85.87, пустое)
        
        :o((( — ETM   (18.12.2006 22:54:16 62.117.85.87, пустое)