OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Четверг, 25 Апрель, 2024 00:06

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 7 ] 
Автор Сообщение
СообщениеДобавлено: Вторник, 09 Сентябрь, 2008 08:08 

Зарегистрирован: Вторник, 25 Апрель, 2006 16:21
Сообщения: 2180
Откуда: Нижний Новгород
На блоге Евгения Зуева, появился довольно интересный, по моему мнению, пост:
http://zouev.blogspot.com/2008/09/blog-post.html

Цитата:
...должен сказать, что получаю громадное удовольствие, на каждом шаге наглядно наблюдая, как обсыпаются многочисленные корявые и громоздкие синтаксические конструкции языка, обнажая естественное и стройное здание семантики С++...


Впрочем, это всё как бы есть для Ады уже: ASIS


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 09 Сентябрь, 2008 11:01 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Цитата:
9.4.4 За пределами файлов и синтаксиса
Как я вижу среду для разработки программ на С++? Прежде всего - инкрементная компиляция. Если вносится небольшое изменение, то система "понимает", что оно небольшое, и генерирует новую версию программы мгновенно. Моментальные ответы хотелось бы получать также на простые вопросы и указания типа: "Показать объявление f", "Какие еще f есть в области действия", "Как разрешен этот вызов оператора +?", "Какие классы произведены от Shape?" и "Какие деструкторы вызываются в конце этого блока?"


Ну, красивые мечты у Страуструпа с Зуевым :-)
Однако куда ж это на базе С++ городить? Не боятся, что просто обвалится в итоге всё? :-)

Да и мечты мелковатые. На уровне С++. Эти вопросы особенно остры для плохой программы на плохом языке.
По мне так интересней поддержка со стороны инструмента в рассуждении о свойствах программы, в логических утвержениях. Чтобы я мог легко обсчитать программу, как инженер - свою конструкцию. И не только в логических аспектах, но и в ресурсных (время-память). Только тут уже не связка текст-дерево нужна, а связка чертёж-граф, видимо... И ТОЛЬКО И ИСКЛЮЧИТЕЛЬНО на базе новой нотации, изначально незагромождённой и приспособленной для анализа её свойств. Иначе - неизбежный тупик "нарушений Калашникова".

(попробуйте-ка поанализировать хоть какие-то значимые, содержательные свойства для "изящной семантики С++". Только и остаётся, что формальные вопросы "а где деструктор объявлен". Да в белых тапочках я этот деструктор видел, вы подайте семантику системную, семантику моделирования проблемы...)


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 09 Сентябрь, 2008 13:24 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
По-моему, серьезно обсуждать это уродство нельзя. И что Е.Зуев именно это делает, больше всего меня удивляет.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 09 Сентябрь, 2008 15:15 
Администратор

Зарегистрирован: Вторник, 15 Ноябрь, 2005 01:14
Сообщения: 4695
Откуда: Россия, Орёл
Info21 писал(а):
И что Е.Зуев именно это делает, больше всего меня удивляет.

Угу.
Сам он в своё время писал (о Си++) что-то вроде: "...и на этом языке программируют миллионы программистов? Яду мне, яду!"


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 09 Сентябрь, 2008 15:37 
Аватара пользователя

Зарегистрирован: Вторник, 19 Сентябрь, 2006 21:54
Сообщения: 2449
Откуда: Россия, Томск
Борис Рюмшин писал(а):
Сам он в своё время писал (о Си++) что-то вроде: "...и на этом языке программируют миллионы программистов? Яду мне, яду!"
Он имел в виду "Аду" : )


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 09 Сентябрь, 2008 16:54 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Info21 писал(а):
По-моему, серьезно обсуждать это уродство нельзя. И что Е.Зуев именно это делает, больше всего меня удивляет.

Ну даже Хоар (?!) тоже в MS Research занимался(ется) проблемой автоверификации С++.... Вроде бесполезное занятие, но вот желание "облагодетельствовать массы" таким способом, что ли...


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 08 Октябрь, 2008 20:17 

Зарегистрирован: Среда, 28 Февраль, 2007 00:08
Сообщения: 142
Откуда: Нижний Новгород
Борис Рюмшин писал(а):
Сам он в своё время писал (о Си++) что-то вроде: "...и на этом языке программируют миллионы программистов? Яду мне, яду!"

Так вроде приведенная выше цитата ("9.4.4 За пределами файлов и синтаксиса....") есть тоже самое, только под видом восхваления. :)


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 7 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 8


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
cron
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2024, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB