Это надо в анналы истории.
Произведение искусства (c) Hirrolot

^^^ рекурсия запрещена в сишных макросах, но разве запреты когда-нибудь останавливали тех, кому это действительно хотелось 😃

Мой новый рисунок компилятором по консоли

Вафельная библиотека rust 😂

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

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

#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.