Проблемы современной записи математических текстов

Ну, это вот кстати вопрос подачи материала. В НГУ, к примеру, было принято сначала рассказать о линейных операторах, потом ввести для них матричное представление, и оттуда же вытащить умножение матриц.
В результате всё довольно сильно зависит от преподавателей. и пока преподавание (на всех уровнях) не станет профессией востребованной, хорошие преподаватели (а следовательно и хорошие учебники) так и будут скорее случайностью, чем закономерностью.

GitHub Flow

Такой перевод очень больно читать. Я пока понял, что "фиксация" — это коммит, думал, что я вообще в Алису в стране чудес попал

Складываем числа на Rust

Добавив немного магии, можно получить обратно нормальный вывод чисел:

impl ::std::fmt::Display for Zero {
    fn fmt(&self, f: &mut ::std::fmt::Formatter) -> ::std::fmt::Result {
        write!(f, "0")
    }
}

impl<T : Nat + ::std::fmt::Display> ::std::fmt::Display for Succ<T> {
    fn fmt(&self, f: &mut ::std::fmt::Formatter) -> ::std::fmt::Result {
        let res = format!("{}", T::new());
        match res.parse::<i32>() {
          Ok(n) => write!(f, "{}", 1 + n),
          Err(e) => write!(f, "ERROR")
        }
    }
}