caxapa.ru :: ну право, же.. швейцарцы, вон, совсем не стесняются ->

Д.ARMоед (28.07.2013 01:18, просмотров: 279) ответил Evgeny_CD на Свой компилятор - это круто даже для меня :)

ну право, же.. швейцарцы, вон, совсем не стесняются -> http://www.avocado.ethz.ch/activecsharp/

Ответить

- Ога. Последние новости - сентябрь 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)
        
        Народ на оберонкоре трет по теме -> - 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)

Средства и методы разработки