Комментарии 8
Сегодня нам будут особенно интересны два из них: Ослабление (или «монотонность следствия»): Если вы знаете, что A влечет за собой B (A -> B), можно утверждать, что A и любой другой факт также влекут за собой B (например, A, C -> B). Это означает, что вы можете игнорировать ненужные предикаты в правиле. Сокращение (или «идемпотентность следствия»): Если вы знаете, что несколько A влекут за собой B (A, A -> B), можно утверждать, что единичная A тоже влечет за собой B (например, A -> B). Это означает, что вам не нужны несколько одинаковых предикатов в правиле. Ослабление (или «монотонность следствия»): Если вы знаете, что A влечет за собой B (A -> B), можно утверждать, что A и любой другой факт также влекут за собой B (например, A, C -> B). Это означает, что вы можете игнорировать ненужные предикаты в правиле. Сокращение (или «идемпотентность следствия»): Если вы знаете, что несколько A влекут за собой B (A, A -> B), можно утверждать, что единичная A тоже влечет за собой B (например, A -> B). Это означает, что вам не нужны несколько одинаковых предикатов в правиле.
Спасибо за статью! У Вас повтор в тексте
Водянистая статья. Не хватает примеров, без них не очень просто понять о чем идёт речь. И больше похоже на продвижение идеи удаления E0509.
Ужасный перевод, трудно читать и сильно размыто. Но есть смешные места типа "локальные рассуждения".
Типы с владением можно рассматривать как частный случай типа сеанса, который имеет допустимый «переход между состояниями по умолчанию».
а я как то надеялся для начала понять это
про типы которыми владеют или
про типы которые чем то владеют,
но это видимо совсем не важно для автора.
Набор слов в виде:
случай типа сеанса, который имеет допустимый «переход между состояниями по умолчанию
сразу все ставит на свои места - смысл настолько глубокий что придется утонуть чтобы понять.
Вы лучше не переводы делайте, а приведите в порядок свои средства автоматизации. Особенно что касается надстроек! Когда вы внедрите нормальное использование библиотеки LuaQt, а не ту кастрированную версию, в которой ничего толком нельзя использовать?!
Отличная но очень тяжелая для понимания изначальная статья.
Спасибо большое за перевод!
Личное наблюдение, если заменить слово "деструктуризация" на "уничтожение" или "деинициализация" перевод читать станет проще.
А еще, из-за небольшого количества статей по Rust на русском, было бы круто если бы был глоссарий основных понятий для связки с экосистемой.
Например:
владение - ownership
заимствования - borrowing
изменяемое состояние - mutable state.
Просто переводить можно по разному, но в английском сообществе Rust определены и встречаются конкретные слова.
объясняем Владение и Субструктурные типы на пальцах
Когда я прочитал doc.rust-lang.org/book/ я почти всё понял. Когда я прочитал "объясняем владение на пальцах" я почти ничего не понял. То-ли я тупой, то-ли перевод тупой, то-ли статья тупая. Но рекомендовать её для понимания владения точно не стоит.
Rust: объясняем Владение и Субструктурные типы на пальцах