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/ |