Evgeny_CD, Архитектор (26.07.2013 00:38, просмотров: 304) ответил Скрипач на Закидываю-
- Для задач управления, преимущество вытесняющей многозадачности против корпоративной, на бытовом уровне, только одно - не нужно заморачиваться с задержками. Скрипач(473 знак., 26.07.2013 00:51 - 18:42)
- Я, конечно, ламер, но мне кажется, что templates C++ решают обе задачи, без всякого "своего компилятора" - Evgeny_CD(26.07.2013 18:47)
- Вот там идея хорошо расписана ->. Делаем свою либу и правила написания кода. Парсим исходники при помощи clang, и проверяем - выполнены ли правила, и правильно ли используют нашу либу. Далее все штатными тулзами без всякого шаманства. - Evgeny_CD(26.07.2013 18:49, ссылка)
- Если вы это можете - в добрый путь и держим за вас кулаки. Я - нет. По крайней мере не в этом году. - Скрипач(26.07.2013 18:59)
- Как это все сделать - я пока не знаю. Но уже знаю, зачем я буду в очередной раз перечитывать все свои буки по C++. Цель становится более четкой. - Evgeny_CD(26.07.2013 20:46)
- Свежая мысль. Скрипач(382 знак., 27.07.2013 09:34 - 11:57)
- Как обычно, всё придумано до нас -> - SciFi(27.07.2013 12:33, ссылка)
- Да, вы правы. - Скрипач(27.07.2013 12:43)
- Дык оттож, в каждом месте, где в функцию передаётся контекст явственно выглядывает мурло класса. - =AlexD=(27.07.2013 09:53)
- Как обычно, всё придумано до нас -> - SciFi(27.07.2013 12:33, ссылка)
- Свежая мысль. Скрипач(382 знак., 27.07.2013 09:34 - 11:57)
- Как это все сделать - я пока не знаю. Но уже знаю, зачем я буду в очередной раз перечитывать все свои буки по C++. Цель становится более четкой. - Evgeny_CD(26.07.2013 20:46)
- Если вы это можете - в добрый путь и держим за вас кулаки. Я - нет. По крайней мере не в этом году. - Скрипач(26.07.2013 18:59)
- Вот там идея хорошо расписана ->. Делаем свою либу и правила написания кода. Парсим исходники при помощи clang, и проверяем - выполнены ли правила, и правильно ли используют нашу либу. Далее все штатными тулзами без всякого шаманства. - Evgeny_CD(26.07.2013 18:49, ссылка)
- Кстати, интересная мысль. Надо, чтобы кто-нибудь замутил парсилку для исходников, которая может проверять код на соответствие такого рода правилам. На основе lint, к примеру. - SciFi(26.07.2013 09:57)
- clang вроде получше для такого подходит -> - Evgeny_CD(26.07.2013 14:03, ссылка)
- И тем не менее, это все равно другой язык. Объем работы явно не для "глобальный поиск и замена". - Скрипач(26.07.2013 18:29)
- clang вроде получше для такого подходит -> - Evgeny_CD(26.07.2013 14:03, ссылка)
- Свой компилятор - это круто даже для меня :) - Evgeny_CD(26.07.2013 00:55)
- ну право, же.. швейцарцы, вон, совсем не стесняются -> - Д.ARMоед(28.07.2013 01:18, ссылка)
- Ога. Последние новости - сентябрь 2004. А дальше ничего - не иначе, как стесняются таки :) - Evgeny_CD(28.07.2013 12:46)
- видимо, было заглушено, т.к. сама концепция требует для реализации нетривиальные внеязыковые средства. Д.ARMоед(271 знак., 28.07.2013 14:01)
- Осталось сделать мелочь: компилер правильный язык -> подмножество С, причем отображение изоморфное и формально верифицируемое. - Evgeny_CD(29.07.2013 00:25)
- да не нужно его делать. Д.ARMоед(750 знак., 29.07.2013 13:24)
- А можно пример? Как будет выглядеть с циклами Дейкстры? Скрипач(756 знак., 29.07.2013 13:29)
- конечно, можно Д.ARMоед(726 знак., 30.07.2013 00:41)
- Спасибо. А можно еще попросить вас добавить в этот пример управление устройством, имеющим свои собственные времянки? Например импульсное реле (включаем-выключаем импульсом 200мс, пауза не менее 400мс)? Скрипач(70 знак., 30.07.2013 09:27)
- это ничего принципиально нового в обсуждение главного посыла (про два пальца) не добавит. Д.ARMоед(2806 знак., 30.07.2013 11:20 - 11:30)
- Спасибо. А можно еще попросить вас добавить в этот пример управление устройством, имеющим свои собственные времянки? Например импульсное реле (включаем-выключаем импульсом 200мс, пауза не менее 400мс)? Скрипач(70 знак., 30.07.2013 09:27)
- Народ на оберонкоре трет по теме -> - Evgeny_CD(29.07.2013 13:55, ссылка)
- Цитата: Скрипач(384 знак., 29.07.2013 14:02 - 16:16)
- и давноо трёт :)) - Д.ARMоед(29.07.2013 14:16)
- Однозначно, считаю, лучше с циклом Отто, или с циклом Дизеля. - fk0(29.07.2013 13:42)
- это замечательно, что к ветке присоединились глубоко эрудированные люди. ваш вклад будет особо заметен, когда специалисты will be stuck to laps of reason. - Д.ARMоед(29.07.2013 15:39)
- Цикл Карно лучше. - Скрипач(29.07.2013 13:45)
- Цикл о Шерлоке Холмсе - он еще лучше :) - Evgeny_CD(29.07.2013 13:58)
- конечно, можно Д.ARMоед(726 знак., 30.07.2013 00:41)
- А можно пример? Как будет выглядеть с циклами Дейкстры? Скрипач(756 знак., 29.07.2013 13:29)
- да не нужно его делать. Д.ARMоед(750 знак., 29.07.2013 13:24)
- Осталось сделать мелочь: компилер правильный язык -> подмножество С, причем отображение изоморфное и формально верифицируемое. - Evgeny_CD(29.07.2013 00:25)
- видимо, было заглушено, т.к. сама концепция требует для реализации нетривиальные внеязыковые средства. Д.ARMоед(271 знак., 28.07.2013 14:01)
- Ога. Последние новости - сентябрь 2004. А дальше ничего - не иначе, как стесняются таки :) - Evgeny_CD(28.07.2013 12:46)
- ну право, же.. швейцарцы, вон, совсем не стесняются -> - Д.ARMоед(28.07.2013 01:18, ссылка)
- Я, конечно, ламер, но мне кажется, что templates C++ решают обе задачи, без всякого "своего компилятора" - Evgeny_CD(26.07.2013 18:47)
- Для задач управления, преимущество вытесняющей многозадачности против корпоративной, на бытовом уровне, только одно - не нужно заморачиваться с задержками. Скрипач(473 знак., 26.07.2013 00:51 - 18:42)