(
кстати, а вы в курсе, что наследование - это функтор?
Size: a a a
2020 May 31
MO
кстати, а вы в курсе, что наследование - это функтор?
Ban
R
кстати, а вы в курсе, что наследование - это функтор?
/report
D
https://habr.com/ru/post/492410/#para_8
> C++ быстрее и безопаснее Rust, Yandex сделала замеры (Безопасность Rust не доказана.)
> C++ быстрее и безопаснее Rust, Yandex сделала замеры (Безопасность Rust не доказана.)
AK
https://habr.com/ru/post/492410/#para_8
> C++ быстрее и безопаснее Rust, Yandex сделала замеры (Безопасность Rust не доказана.)
> C++ быстрее и безопаснее Rust, Yandex сделала замеры (Безопасность Rust не доказана.)
ну так они же там сами пишут, что проблема в том, что они пользуют сишные либы, так то раст безопаснее гораздо. другой вопрос, что тогда переписывать дофига надо
D
ну так они же там сами пишут, что проблема в том, что они пользуют сишные либы, так то раст безопаснее гораздо. другой вопрос, что тогда переписывать дофига надо
Они там пишут, что используя для стыковки с сишными либами средства из стандартной библиотеки, можно вполне сохранить безопасность Rust'a.
AK
Вообще есть подозрение, что кресты уже настолько ужасны и монструозны, что если есть хоть какой-то аналог им как системному языку стоит непременно взять его т.е. раст.
СГ
Ребят, Android, может кто подскажет:
Хочу замерить время: с момента нажатия на кнопку открытия нового экрана до возможности взаимодействия с новым экраном.
Какие есть туллзы, best practices, примеры ?
Хочу замерить время: с момента нажатия на кнопку открытия нового экрана до возможности взаимодействия с новым экраном.
Какие есть туллзы, best practices, примеры ?
Firebase Performance
AN
https://habr.com/ru/post/492410/#para_8
> C++ быстрее и безопаснее Rust, Yandex сделала замеры (Безопасность Rust не доказана.)
> C++ быстрее и безопаснее Rust, Yandex сделала замеры (Безопасность Rust не доказана.)
Нет такой вещи, как безопасный язык. Сломать можно что угодно и никакие доказательства корректности тут не помогут. Есть языки, в которых ошибку сделать сложнее.
BP
https://habr.com/ru/post/492410/#para_8
> C++ быстрее и безопаснее Rust, Yandex сделала замеры (Безопасность Rust не доказана.)
> C++ быстрее и безопаснее Rust, Yandex сделала замеры (Безопасность Rust не доказана.)
Молодцы
(
Чувствую себя деженератом
КР
D
Нет такой вещи, как безопасный язык. Сломать можно что угодно и никакие доказательства корректности тут не помогут. Есть языки, в которых ошибку сделать сложнее.
Там про математическое доказательство безопасности говорится. Определение безопасности - в Paper'e. В тексте есть ссылка.
VN
это тебя в сбере писать такое говорят?
(
это тебя в сбере писать такое говорят?
я был бы рад, было бы больше причин их хуесосить
AN
Там про математическое доказательство безопасности говорится. Определение безопасности - в Paper'e. В тексте есть ссылка.
Я понял. Но это бесполезно, потому что от ошибки оно на самом деле не защищает. Только от ub
(
но нет, мне это самому приходится писать
AN
Там про математическое доказательство безопасности говорится. Определение безопасности - в Paper'e. В тексте есть ссылка.
Раст как язык гораздо лучше спп, но не потому, что он корректный, а потому, что он самосогласованный.
AN
Пока по крайней мере
D
Раст как язык гораздо лучше спп, но не потому, что он корректный, а потому, что он самосогласованный.
Это да. Мне ответ на миф понравился - раньше не задумывался о таком.