Комментарии

Нет никакого «чуда». Есть последняя выжившая отрасль.
Моё предположение, что гильдия продалась за малый прайс. Слишком уж темники сменились на типовую риторику езды по доверчивым ушкам. Вполне ожидаемый расклад.
Шанса ноль. На манеже — всё те же, и независимо от перестановок, ЖАДНОСТЬ — их общая черта. И как можете заметить, налоги и поборы не снижал никто из представителей ни той власти, ни предыдущей, ни той что перед нею.
Тут единственное фошизтское подобие — только Олександр V и еще Суворов немного тянет. И вот похожие на вас ребята. Кроме вас никто никого отучать не собирался. Левачье, социалистики и комунистикт убили в 20м веке больше 200млн человек.
Я так и не понял почему именно вы решили использовать Rust.
Я колись, на зорі кар’єри в менеджменті, читав «Ведение переговоров для чайников»...
www.youtube.com/c/3blue1brown
Если не будет выработан „rust-way” причем строгий github.com/rust-lang/rust-clippy
Да, я скидывался на футбольное, баскетбольное поле, теннисный корт, детские площадки, гостевые паркоместа. ) Даже когда выйду на раннюю пенсию, полагаю, даже тогда буду пользоваться лишь частично описанным.
У нас вывоз мусора по тарифу с квадратного метра. )
Univalent foundations, homotopy type theory (HoTT) Agda, Idris, CoQ... Но там есть свои сложности с излишней формализацией. Получается ещё хуже: и математики с этим не особо справляются, и порог входа не облегчается.
Отписывайтесь чаще про успехи. Надеюсь на кеки)
Як на мене одна з головних фічей, про якусь чомусь не кажуть, це паттерн-матчінг на алгебраїчних типах.
Ну... там особо выбора пути немного, ИМХО.
Як на мене овероптимістично, щоб розібратися з борроу чекер, вже треба трохи програмувати...