Телеграмм чат группы cpprussia страница 1954

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Конференция C++ Russia

1020 membersпожаловаться на группу

2021 March 31

YA

Yauheni Akhotnikau in Конференция C++ Russia

да лучше бы притормозили с "фичами" и как раз инфраструктурой занялись на ближайшие два стандарта. Я плакать начинаю, когда новый стандарт выходит: всё вкусно, но всего не перепробуешь.

Не-не-не, пусть сперва паттерн-матчинг в язык завезут. Потом уже можно будет и притормозить. Без ПМ как-то все грустнее и грустнее год от года, столько всего полезного из функциональщины перенимается, а вот ПМ как-то задерживается.

источник

13:26пожаловаться #1

W

Wild_Wind in Конференция C++ Russia

Там не в отключении даже дело :) А именно в гарантиях пред- и постусловий. В ядре Линукса есть подобные штуки для блокировок. Но там что-то очень самопальное: по коду вручную раскиданы дефайны, а потом статистический анализатор по ним ищет дедлоки.

Тут контракты более комплексно применяются, ну и прувер тоже их генерит.
Так что это все-таки абсолютно разные вещи, в плане имплементации.

источник

13:29пожаловаться #2

W

Wild_Wind in Конференция C++ Russia

Gabriele

в какой-то степени, Ada предшествовал какую-то paradigms и features которые были позже добавлены к C++ и что C не поддерживал. Я помню короткую paper от А. Степанов, где он упомянул, что он изначально начал развивать generic programming на Ada, потому что C++ в то время еще не был «готов» (он сам позже внес свой вклад)

Да, но дженерики а Аде более простые и дубовые.
На них не пометапрограммируешь.
Но есть и плюсы - допустимо только явно инстанцирование, что уменьшает раздутие бинаря от вагонов инстансов темлейтов.

источник

13:31пожаловаться #3

G

Gabriele in Конференция C++ Russia

на самом деле, generic programming, насколько я знаю, никогда не было популярным в программировании на Ada - это было просто основой и началом в то время от Степанов, потому что C++ того времени еще не был «готов» - Степанов тоже работал программирование такой ранней функции в Lisp (scheme)

источник

13:38пожаловаться #4

G

Gabriele in Конференция C++ Russia

http://stepanovpapers.com/schemenotes/notes.pdf

источник

13:42пожаловаться #5

G

Gabriele in Конференция C++ Russia

эти исторические заметки относятся к той ранней работе над Ada и scheme

источник

13:43пожаловаться #6

W

Wild_Wind in Конференция C++ Russia

Alexey Veselovsky

Хотя, я знаю тех, кто например просто сервера пишет и бэкенды.

Агась.
У ады удобные крутилки в шедуллере и таймеры.
Писать всякую скрипиуху, в духе - дергай апи каждый n минут и ложи вот сюда в пяток строчек и готово.

источник

13:48пожаловаться #7

W

Wild_Wind in Конференция C++ Russia

Gabriele

на самом деле, generic programming, насколько я знаю, никогда не было популярным в программировании на Ada - это было просто основой и началом в то время от Степанов, потому что C++ того времени еще не был «готов» - Степанов тоже работал программирование такой ранней функции в Lisp (scheme)

Да, так и есть.
Но с контейнерами из 2005 стандарта жить гораздо приятнее :)

источник

13:50пожаловаться #8

W

Wild_Wind in Конференция C++ Russia

Что у Ады с компиляторами? только за чемоданы денег?

Part GCC Free Software Foundation, GNAT - GNu Ada Translator,
License: GPL with runtime exception.

GNAT Community from AdaCore,
License: GPL.

GNAT Pro from AdaCore - занесите чумаданы и узнаете.

источник

13:58пожаловаться #9

W

Wild_Wind in Конференция C++ Russia

@shiz01 думаю в этом разговоре не хватает тебя

:)

источник

13:59пожаловаться #10

W

Wild_Wind in Конференция C++ Russia

выключить исключения, запретить new из динамической памяти

* ограничить скоуп вылетания исключений, ради детерминировасти потока исполнения.
То что эксепшены летают меж модулями порой приносит сюрпризы :(

Но такого в плюсах без каких-нибудь хаков мы врядли увидим, поэтому по старинке заворачиваем в Result<T, E>...

источник

14:01пожаловаться #11

W

Wild_Wind in Конференция C++ Russia

А верификатор в gcc есть или он тоже за чемодан денег?

SPARK под GPL. Бери и пользуйся.
Но саппорт - да, платный.
Впрочем платный саппорт это норма для опенсурса.

источник

14:02пожаловаться #12

FO

FORTRAN ONE LOVE in Конференция C++ Russia

Elizaveta Shamanina

Я вообще жалею, что не заказала, если уж на то пошло))))

я тоже жалею, что заказал мало :(

источник

14:03пожаловаться #13

FO

FORTRAN ONE LOVE in Конференция C++ Russia

худи классное :)

источник

14:03пожаловаться #14

ES

Elizaveta Shamanina in Конференция C++ Russia

FORTRAN ONE LOVE

я тоже жалею, что заказал мало :(

МАЛО? МАЛО????

Не травите душу😃

источник

14:03пожаловаться #15

*

*cyberzx in Конференция C++ Russia

А где их можно заказать?

источник

14:04пожаловаться #16

FO

FORTRAN ONE LOVE in Конференция C++ Russia

@sermp, кажется нужен второй заход :D

источник

14:04пожаловаться #17

D

Danya in Конференция C++ Russia

А где их можно заказать?

При регистрации на конференцию можно было

источник

14:04пожаловаться #18

SP

Sergey Platonov in Конференция C++ Russia

FORTRAN ONE LOVE

@sermp, кажется нужен второй заход :D

да так-то легко

источник

14:04пожаловаться #19

W

Wild_Wind in Конференция C++ Russia

А если мы напишем программу на С++ с отключенными исключениями и скомпилим с включенными, она должна работать также

Но будет ли это стандартым си плас плас?
Ведь даже автономные реализации "C++ Freestanding" для OS less, просят ексепшены.

источник

14:04пожаловаться #20