AV
проверяльщик там отдельный
Но этот "отдельный SPARK нового стиля" сможет проверить "исходники" искомого DNS сервера?
(
Я к чему веду: возможно, что перемещение SPARK пред- и постусловий из комментариев не лишено недостатков.
)
Size: a a a
2020 September 26
VM
AV
не знаю оставили там обратную совместимость или нет. скорее всего оставили. там же вопрос лишь в парсере.
но это не точно 🙂
но это не точно 🙂
VM
не знаю оставили там обратную совместимость или нет. скорее всего оставили. там же вопрос лишь в парсере.
но это не точно 🙂
но это не точно 🙂
Бог с ним: проверю при случае.
Можно и старыми версиями Ada запастись. На всякий случай.
Можно и старыми версиями Ada запастись. На всякий случай.
МР
о! нифига себе. то есть там по факту две переменные создаются если это надо?
угу 😕
AV
Максим Резник
угу 😕
Ну, если вторая переменная не используется и не создаётся если Old не используется, то и проблем нет
МР
Ну можно выключить проверку контрактов, тогда не будет этого оверхеда
AV
было бы лучше, если бы оптимизатор вторую переменную выпиливал бы если просто 'Old не юзается даже при включенных контрактах
МР
было бы лучше, если бы оптимизатор вторую переменную выпиливал бы если просто 'Old не юзается даже при включенных контрактах
Ну это должно работать. Я искренне верю в dead code elimination
AV
ну, дед код оно иногда элиминирует, но не всегда может убрать выделение места под переменную
МР
ну может, если там Controlled с инициализатором/финализатором, например
МР
Кстати, в связи с вирусом, контора отменила бухалово для клиентов, зато обещала кучу видосиков с обзорами новых фишек в своих продуктах
AV
Максим Резник
Кстати, в связи с вирусом, контора отменила бухалово для клиентов, зато обещала кучу видосиков с обзорами новых фишек в своих продуктах
я готов на такой обмен 🙂
МР
Я че-то последнее их видео не смог долго вынести, там про NVIDIA и SPARK. какая-то фигня со звуком, вроде обещали перезалить...
AV
на мой взгляд, из за ковида многое стало лучше в плане мероприятий и тому подобного.
МР
Да, надо бы чего-нибудь посетить виртуально... Знать бы чего
AV
C++ Russia! правда это платно 🙂
FO
C++ Russia! правда это платно 🙂
у них нет академического билета в этот раз((
AV
у них нет академического билета в этот раз((
Спроси в чятике конференции
AV
Может дадут