In modern argumentation theories, arguments are regarded as defeasible passages from premises to a conclusion. Defeasibility means that when additional information (new evidence or contrary arguments) is provided, the premises may be no longer lead to the conclusion (non-monotonic reasoning). This type of reasoning is referred to as defeasible reasoning. For instance we consider the famous Tweedy example: Tweedy is a bird. Birds generally fly. Therefore, Tweedy (probably) flies. This argument is reasonable and the premises support the conclusion unless additional information indicating that the case is an exception comes in. If Tweedy is a penguin, the inference is no longer justified by the premise. Defeasible arguments are based on generalizations that hold only in the majority of cases, but are subject to exceptions and defaults. In order to represent and assess defeasible reasoning, it is necessary to combine the logical rules (governing the acceptance of a conclusion based on the acceptance of its premises) with rules of material inference, governing how a premise can support a given conclusion (whether it is reasonable or not to draw a specific conclusion from a specific description of a state of affairs). Argumentation schemes have been developed to describe and assess the acceptability or the fallaciousness of defeasible arguments. Argumentation schemes are stereotypical patterns of inference, combining semantic-ontological relations with types of reasoning and logical axioms and representing the abstract structure of the most common types of natural arguments.

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

@vlad20012 ну что, есть мысли?

Глянул. Ну что, мы не поддерживаем #[cfg()], а в pwasm_std через него объявлен Vec. А красным он почеркивается потому что из liballoc предлагает импортировать. По поводу #[cfg()] лежит уже полгода PR от какого-то чувака, где он начал хотяб парсить эти атрибуты, но он недоделал нифига.

Ты про это место? cfg_if! { if #[cfg(all(feature="panic_with_msg", not(feature="std")))] { #[macro_use] #[macro_reexport(vec, format)] extern crate alloc; } else { #[macro_reexport(vec, format)] extern crate alloc; } }

нужно просто юзать вектор из alloc напрямую, я тебя правильно понял?

pub use alloc::vec::Vec;

https://play.rust-lang.org/?gist=5769a854fa34dd5bb3af1df0d66f6470&version=nightly&mode=debug&edition=2015

а как тут от двух to_owned избавиться? что-то торможу: https://play.rust-lang.org/?gist=57d6cff4bfae9158b772d066258ca526&version=nightly&mode=debug&edition=2015

https://play.rust-lang.org/?gist=af9738dad5506a1de802cfde3adb0eac&version=nightly&mode=debug&edition=2015

Cloned

Cloned

https://play.rust-lang.org/?gist=3b0da58554b68e782a3823553d9d424a&version=nightly&mode=debug&edition=2015

а там типо задача последнее вхождение ключа сохранить?

кто-нибудь работал с diesel + askama? Хочу заderiveить дизелевские трейты + трейт Template из askama. Все поля в структуре идут как Optional<&'a str>, в примерах в оф. репе askama все окейно обрабатывается, у меня жалуется что такой имплементации нету. Суть в том, что поидее должно из коробки работать. Мб кто-нибудь сталкивался?

std::option::Option<std::string::String> cannot be formatted with the default formatter; try using :? instead if you are using a format string | = help: the trait std::fmt::Display is not implemented for std::option::Option<std::string::String> = note: required because of the requirements on the impl of std::fmt::Display for &std::option::Option<std::string::String> = note: required by askama::MarkupDisplay

вынес в отдельные структуры, задерайвил, но тип уже сделал &str, исходя из примера в оф. репе все должно сработать, однако теперь все то же самое, только жалуется на &str

#[derive(Clone, Debug, Serialize, PartialEq, Deserialize, Identifiable, Queryable, Insertable)] #[table_name="articles"] pub struct Article { pub id: i32, pub title: Option<String>, pub creation_date: Option<String>, pub last_edit_date: Option<String>, pub tags: Option<String>, pub content: Option<String>, pub published: bool, pub author_name: Option<String>, pub editor_name: Option<String>, }

#[derive(Clone, Debug, Serialize, PartialEq, Deserialize, Identifiable, Queryable, Insertable, Template)] #[template(path = "article/get_article.html")] #[table_name="articles"] pub struct Article { pub id: i32, pub title: Option<String>, pub creation_date: Option<String>, pub last_edit_date: Option<String>, pub tags: Option<String>, pub content: Option<String>, pub published: bool, pub author_name: Option<String>, pub editor_name: Option<String>, }

вынес в отдельные структуры, задерайвил, но тип уже сделал &str, исходя из примера в оф. репе все должно сработать, однако теперь все то же самое, только жалуется на &str

http://sysdev.me/rust-is-pain/

http://sysdev.me/rust-is-pain/

Есть какие статьи годные почитать о футурках? Понял как они структурированы, но не как их параллельно выполнять