RB
это не контр-пример.
Size: a a a
2021 March 04
А
а кукарекаешь
RB
показываешь там модель памяти, многопотчоности
RB
давай, трепло
RB
иди
RB
потом мы выясним, есть ли она, апотом посмотрим сишная ли она
А
ты тоже иди
RB
куда, ты кукарекаешь - вот и иди.
А
так ты тоже кукарекаешь не переставая
RB
ладно, мне надоело. Я не буду здесь писать, пока подобным клоунам позволяют здесь резвиться. Хотя ладно, на что-то адекватное я отвечать буду
А
Я не буду здесь писатьэто замечательно
ΑZ
Roman Blog
Нет, нет. Всё не так. В этом и проблема. unsafe отравляет весь код. По определению. А значит, что никакой rustc не гарантирует ничего. Т.е. rustc тебе не проверит то - валиден ли safe-api для вектора
смотри, ансейф по сути говорит "при условии что в ансейфе не накосячено - код безопасный".
Это не означает, что код 100% безопасный по-умолчанию. Он просто требует предусловия, что в ансейфе все в порядке.
Смысл ансейфа, чтобы этих узких мест было мало и чтобы они легко грепались - ансейф с этим справляется. Большего отнего не надо.
Можно говорить о том что "если етсь хоть одна триллионная доля шанса что там говно, то ваш код не сейф, все гарантии раста это ложжжжжжьььььь", но практической пользы от такого подхода мало.
Это не означает, что код 100% безопасный по-умолчанию. Он просто требует предусловия, что в ансейфе все в порядке.
Смысл ансейфа, чтобы этих узких мест было мало и чтобы они легко грепались - ансейф с этим справляется. Большего отнего не надо.
Можно говорить о том что "если етсь хоть одна триллионная доля шанса что там говно, то ваш код не сейф, все гарантии раста это ложжжжжжьььььь", но практической пользы от такого подхода мало.
ΑZ
что до ллвм-сишки истории то сишка повторяет модель пдп-7, к которому достаточно близки все современные машины, вся история с кэшами и прочими отличиями спрятана и через апи не видна. При этом ллвм проектироваля как раз как низкоуровневый асм под абстрактную машину, так что логично было делать его похожим на реальное железо.
Очевидно, что у них будет +- одна модель памяти, вычислений и всего остального. Так что пусть через несколько уровней косвенности, но в "ллвм для сишки" нет особо ложной посылки
Очевидно, что у них будет +- одна модель памяти, вычислений и всего остального. Так что пусть через несколько уровней косвенности, но в "ллвм для сишки" нет особо ложной посылки
b
почему никто не сообщил что царь зашел на огонек?
m
смотри, ансейф по сути говорит "при условии что в ансейфе не накосячено - код безопасный".
Это не означает, что код 100% безопасный по-умолчанию. Он просто требует предусловия, что в ансейфе все в порядке.
Смысл ансейфа, чтобы этих узких мест было мало и чтобы они легко грепались - ансейф с этим справляется. Большего отнего не надо.
Можно говорить о том что "если етсь хоть одна триллионная доля шанса что там говно, то ваш код не сейф, все гарантии раста это ложжжжжжьььььь", но практической пользы от такого подхода мало.
Это не означает, что код 100% безопасный по-умолчанию. Он просто требует предусловия, что в ансейфе все в порядке.
Смысл ансейфа, чтобы этих узких мест было мало и чтобы они легко грепались - ансейф с этим справляется. Большего отнего не надо.
Можно говорить о том что "если етсь хоть одна триллионная доля шанса что там говно, то ваш код не сейф, все гарантии раста это ложжжжжжьььььь", но практической пользы от такого подхода мало.
Мне кажется он пытается нам донести, что раст недостаточно выразителен, чтобы обойтись без ансейф и потому ансейф это грязный хак
b
One thing Rust has done, is to teach everyone they must lead with
propoganda. After all if your propoganda isn't overbearing, obviously
you've got nothing? It is pretty sad others feel compelled to repeat
such bombastic same-old same-old glowing terms, rather than describing
"what we do is different".
propoganda. After all if your propoganda isn't overbearing, obviously
you've got nothing? It is pretty sad others feel compelled to repeat
such bombastic same-old same-old glowing terms, rather than describing
"what we do is different".
m
One thing Rust has done, is to teach everyone they must lead with
propoganda. After all if your propoganda isn't overbearing, obviously
you've got nothing? It is pretty sad others feel compelled to repeat
such bombastic same-old same-old glowing terms, rather than describing
"what we do is different".
propoganda. After all if your propoganda isn't overbearing, obviously
you've got nothing? It is pretty sad others feel compelled to repeat
such bombastic same-old same-old glowing terms, rather than describing
"what we do is different".
Если продукт говно, то пропаганда слишком дорога и не очень эффективна. Взгляни на телевизор. или на Go
H
One thing Rust has done, is to teach everyone they must lead with
propoganda. After all if your propoganda isn't overbearing, obviously
you've got nothing? It is pretty sad others feel compelled to repeat
such bombastic same-old same-old glowing terms, rather than describing
"what we do is different".
propoganda. After all if your propoganda isn't overbearing, obviously
you've got nothing? It is pretty sad others feel compelled to repeat
such bombastic same-old same-old glowing terms, rather than describing
"what we do is different".
сильно