OberonCore
https://forum.oberoncore.ru/

Семантика С++ на блоге Евгения Зуева
https://forum.oberoncore.ru/viewtopic.php?f=26&t=1154
Страница 1 из 1

Автор:  Alexey Veselovsky [ Вторник, 09 Сентябрь, 2008 08:08 ]
Заголовок сообщения:  Семантика С++ на блоге Евгения Зуева

На блоге Евгения Зуева, появился довольно интересный, по моему мнению, пост:
http://zouev.blogspot.com/2008/09/blog-post.html

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


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

Автор:  Илья Ермаков [ Вторник, 09 Сентябрь, 2008 11:01 ]
Заголовок сообщения:  Re: Семантика С++ на блоге Евгения Зуева

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


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

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

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

Автор:  Info21 [ Вторник, 09 Сентябрь, 2008 13:24 ]
Заголовок сообщения:  Re: Семантика С++ на блоге Евгения Зуева

По-моему, серьезно обсуждать это уродство нельзя. И что Е.Зуев именно это делает, больше всего меня удивляет.

Автор:  Борис Рюмшин [ Вторник, 09 Сентябрь, 2008 15:15 ]
Заголовок сообщения:  Re: Семантика С++ на блоге Евгения Зуева

Info21 писал(а):
И что Е.Зуев именно это делает, больше всего меня удивляет.

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

Автор:  Александр Ильин [ Вторник, 09 Сентябрь, 2008 15:37 ]
Заголовок сообщения:  Re: Семантика С++ на блоге Евгения Зуева

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

Автор:  Илья Ермаков [ Вторник, 09 Сентябрь, 2008 16:54 ]
Заголовок сообщения:  Re: Семантика С++ на блоге Евгения Зуева

Info21 писал(а):
По-моему, серьезно обсуждать это уродство нельзя. И что Е.Зуев именно это делает, больше всего меня удивляет.

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

Автор:  batyrmastyr [ Среда, 08 Октябрь, 2008 20:17 ]
Заголовок сообщения:  Re: Семантика С++ на блоге Евгения Зуева

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

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

Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/