(звучит как будто раст — моя библиотека, но я сплю и мне лень перефразировать)

Полезняшки, в смысле, статьи на почитать.

#prog #rust #article

Статья о порядке дропа значений в Rust. Это несколько запутанно.

#prog #rust #article

Статья об использовании телеметрии в приложениях на Rust. Спойлер: для этого есть весьма удобные библиотеки, причём и для асинхронного кода

- Сначала ты думаешь, что в Расте есть присваивания.
- Потом ты понимаешь, что они странно себя ведут и являются выражениями.
- Потом понимаешь, что в Расте нет присваиваний, но продолжаешь по традиции их так называть. 👇

#TIL что в расте присваивание (a = b) это выражение.

Я это и раньше знал, но из-за редкости присваиваний в моём коде и неприятного опыта из других языков я это не осознавал.

К шутеечке, что выше

Можно утверждать, что в Расте есть только передача владения (перемещение) и заимствование, причём заимствований два — разделяемые (&) и уникальные (&mut). Только для Copy-значений присваивания как-бы есть, но это особый случай перемещения.
Под капотом конечно и перемещение, и заимствование реализуются как присваивание.

Ищем консенсус с Вафелем:

вафель 🧇🍓, [03.10.20 00:50]
Это была несмешная шутка и присваивания таки есть.
Но присваивание можно воспринимать как функцию &mut T -> T -> ()
Что и отличает его от передачи владения

Nick Linker, [03.10.20 00:54]
Согласен. Это можно представить как то, что присваивание является не элементарной операцией, а реализуется как обычная функция.

вафель 🧇🍓, [03.10.20 00:56]
Да

(Сообщением ниже перл из компиляторного чата👇)

К слову, CompCert C это формально верифицированный компилятор C, вещь сама по себе потрясающая (одни только 100к на Коке впечатляют):

At 100 000 lines of Coq and six person-years of effort, CompCert’s proof is among the largest ever performed with a proof assistant.

Увы, это не гарантирует, что программист не сделает double free, а гарантирует только то, что исходный код будет скомпилирован в точном соответствии со спецификацией. Если программист накосячит, он уже не сможет спихнуть вину на сырой компилятор🤕

Aλice 4.2 stable:
Привет! Хотим с другом сделать плагин к ide который запускает пытки током от стула. При ошибках компиляции. Но компилятор нужен без ошибок. Какой компилятор самый хороший?

Anton Trunov:
https://compcert.inria.fr

Выступал сегодня с докладом для студентов, тема в некотором смысле "пиар для математики".

https://nlinker.github.io/presentations/10_why-math/index.html

Как обычно, уже после доклада начал вспоминать о чём-то, о чём хотел рассказать, и забыл 😐

Полезное голосование, надо подумать над PR в cargo fmt.

Очень маленький стол.

Oleg ℕizhnik:
Лучший способ обучить русскоязычного сотрудника скале - разрешить ему сидеть в телеграме и смотреть ютюб на работе.

Ну и дать общаться с коллегами, конечно же
---
новые образовательные технологии от Олега 😄

Если серьёзно, в этом есть рациональное зерно, однако такого рода свобода легко может обернуться против интересов работодателя.

Коллега выдал перл:
Кто-то пишет эффективный и поддерживаемый код, а кто-то промахивается струёй мимо унитаза

Не могу похвастаться, что всегда пишу эффективный и поддерживаемый код, но промахиваюсь редко 😀

> - Программирование на Rust от CSC. - Советую смотреть после сериала про С++. Отлично дополнит.

Вместо 😝👇

Осенний аниме-сезон не очень. Но что тогда смотреть за завтраком/обедом и вечером? Делюсь с вами подборочкой.

- Линейная алгебра и геометрия ФКН ВШЭ. Онгоинг. Прикольный, бодрый сериал про алгебру, мне нравится.
- Машобуч СПбГУ - Сергей Николенко. Онгоинг. Сериал про классический ML. (Вообще смотрите все видосы на канале)
- Маш обуч ФКН ВШЭ - Евгений Соколов. Онгоинг. Классический ML. Хороший сериал.
- Алгоритмы и структуры данных. Онгоинг. Смотрел пару серий, мне понравилось.

Вышедшие сериалы, которые можно посмотреть.
- Алгоритмы и структуры данных. ШАД. М.А.Бабенко. Вышло в 2014. Огонь сериал, смотрел на одном дыхании.
- Программирование на С++ от CSC. Первый сезон. Второй сезон. - лучший сериал про с++, что я смотрел.
- Программирование на Rust от CSC. - Советую смотреть после сериала про С++. Отлично дополнит.