Начался опрос о состоянии Rust в 2020 году: https://blog.rust-lang.org/2020/09/10/survey-launch.html
Не рефлексируйте, даже если вы просто слышали о Rust краем уха и запускали только "Hello, world", там будет что рассказать разработчикам и поделиться вашими впечатлениями.
А тем временем я покажу такую картинку😉

Новый пейпер, Dependent Type Systems as Macros

Переведённая аннотация:

Мы представляем Turnstile+, высокоуровневый, основанный на макросах мета-DSL для построения языков с зависимыми типами. С помощью него разработчики языков могут быстро запрототипировать и развить фичи, связанные с зависимыми типами. Или же они могут создать совершенно новый DSL, мощь зависимых типов которого органично сочетаются с какой-то предметной областью. Поддержка языко-ориентированного программирования со стороны нашего фреймворка также делает его подходящим для экспериментов с формальными системами и компонентами, например proof assistant и соответствующие DSL-и.

Довольно интересно, хотя до продакшена такие инструменты дойдут очень не скоро
https://www.ccs.neu.edu/home/stchang/pubs/cbtb-popl2020.pdf

Пейпер далеко уже не новость, но тем не менее хочется его положить сюда:
Unsupervised Translation of Programming Languages

Транскомпилятор, также известный как транслятор исходного кода в другой исходный код, это система, которая переводит исходники из одного высокоуровневого языка (такого как C++ или Python) в другой.

https://arxiv.org/pdf/2006.03511.pdf

Разумеется работает пока через пень-колоду, но похоже через годиков 5 будет Boost на Питоне (как результат конвертации) или Django на Rust (я очень надеюсь, что через 5 лет Rust проникнет в индустрию).

В C++-ном выхлопе всяко есть мемори лик и ещё два UB 😃

matklad: Rust in 2021

Тут народ подсказывает, что в Котлине есть нехилая такая дыра в типобезопасности:
https://twitter.com/kotlin/status/1276083456854941697

Несмотря на то, что я чаще использую Intellij Rust плагин, тем не менее важные новости в rust-analyzer завезли, много подсказок и самое главное (!) ошибки в макросах:
https://rust-analyzer.github.io/thisweek/2020/09/14/changelog-42.html

#prog #math

Визуализатор преобразований комплексной плоскости. Даже если не нужно, можно просто делать рандомные формулы и залипать на анимацию. На телефоне, к сожалению, пашет не очень, чуть лучше в режиме версии для десктопа.

dynamicmath.xyz/complex-mapping

Визуализатор в действии: twitter.com/PonceCampuzano/status/1304683933779415041

Художественное рисование компилятором по консоли by ☆Хирролот☆

Float

Оказывается у float типов есть ДВА разных NaN: Signalling NaN и Quiet NaN. Для представления обоих типов вся секция exp забита единицами. Отличаются они только тем, как забита секция fraction.
Зачем?
Написано QNaN - результат неопределенных вычислений. Примеры: 0/0, sqrt(0).
SNaN - результат неверных вычислений. Я не смогу найти правда, как получить такой результат в с/с++. Видимо это ошибки железа, рантайма....

Стандарт IEEE-754 хорошо описан тут https://steve.hollasch.net/cgindex/coding/ieeefloat.html
Большой разбор: http://softelectro.ru/ieee754_en.html

Интерактивная тулза, чтобы играть с битами: http://evanw.github.io/float-toy/

Начал смотреть курс по теории распределённых систем. Пока очень нравится. Надеюсь я доберусь до конца 😊
https://www.youtube.com/watch?v=3yjy19cUWIM&list=PL4_hYwCyhAvYwYRYQB1QwwwrqDrIgSMou

Просто .into_iter().filter(|x| *x % 2 == 1).collect(). И всё!

———
Artem Shpynov, [23.08.20 01:12]
Я первый вопрос претенденту на мидла по си++ задаю - удалить из заданного std::list<int> элементы с четными значениями... Процентов 80 на этом этапе заканчивают

M B, [23.08.20 01:14]
[In reply to Artem Shpynov]
Что их ставит в тупик?

Artem Shpynov, [23.08.20 01:15]
[In reply to M B]
Всё. Реально не умеют люди даже столь примитивные вещи делать. И у всех 3+ лет стажа именно програмистами на с++

https://www.tg-me.com/TeamLeadTalks/142796
😬

Тут Вафель даёт ещё более красивый рецепт:
.drain_filter(|x| *x % 2 == 1).for_each(drop)

Правда это (пока) unstable.

#prog #rust #article

Как снизить время компиляции кода на Rust.

Наконец, разработчики языка Rust собираются, чтобы выработать практики и инструменты для обработки ошибок.
https://blog.rust-lang.org/inside-rust/2020/09/18/error-handling-wg-announcement.html

Отличная новость, я думаю уже давно пора покончить со всем этим зоопарком. Ещё лет 5 назад🤔

На картинке виден огромный зелёный горб failure, и в последнее время взрыв популярности thiserror и anyhow.

В C++ больше всего бесит что любое мало мальское удобство приходится писать себе самому. И каждый сука считает удобными разные вещи.

Для меня звучит как описание фильма "Одарённая". 👇