Вот из сегодняшнего, буквально.
Без RefCell на &mut ссылке, сколько не плясал, ни в какую не хотело уезжать во второе замыкание.

Я джва года ждал этого, все рукоплескания в честь @WaffleLapkin

# crates.io update notifier bot

(по названию всё и так понятно, можно дальше не продолжать)

На днях в расточатике спросили есть ли возможность как-то подписаться на обновления крейтов. Внятного ответа никто не дал, так что я решил написать бота для тележки.

FF: вот бот: @crates_upd_bot, можете с ним поиграться.

Работает он просто — с помощью git2 fetch'ит crates.io-index, гуляет по коммитам между HEAD и FETCH_FEAD, смотрит диффы и потом шлёт сообщения в @crates_updates и тем, кто подписался на обновления (на конкретный крейт).

ATS на практике, каждая строчка на вес золота. Буквально.

Человек из старой РСДНской гвардии написал ряд постов на LJ:

https://thedeemon.livejournal.com/40867.html
https://thedeemon.livejournal.com/41035.html
https://thedeemon.livejournal.com/41388.html
https://thedeemon.livejournal.com/41545.html
https://thedeemon.livejournal.com/43344.html
https://thedeemon.livejournal.com/43656.html

Я только что потратил слишком много времени на написание программы, которая восстанавливается из сегфолта
https://gist.github.com/GoldsteinE/41f00d9dcebc6389f3198ff5f860d5a1?ts=2

Я всё репу чесал, как бы донести до того плюсовика, что он решает несуществующую проблему, но нашёлся красавчик, который сделал это за меня.
===

Alexander Tchitchigin:
@webreh для начала, я, безусловно, глубоко симпатизирую Вашей идее писать более декларативно и один раз — а дальше пусть компилятор работает. Но у обсуждаемой телеги есть несколько зияющих прорех, которые перекрывают весь рациональный посыл.

Во-первых, C++ — нелепо плохой пример для подражания. Ровно потому, что слишком плохо типизирован, слишком много сделано ad-hoc, а потому противоречит одно другому, обрастает костылями и в конечном счёте приводит к знаменитым километровым сообщениям об ошибках. Поэтому очень многие люди решают для себя "да ну его такое нахуй — лучше я немного кода покопипасчу, зато диагностика будет вменяемая".

Во-вторых, разбираемый пример с равенством — настолько мелкая, частная и редкая (одноразовая) задача, что ломать об неё копья просто смешно. Экономия на спичках.

В-третьих, как уже указали, идея "я умнее компилятора, я понимаю, что тут можно использовать memcmp" разбивается об ещё более хитрожопые оптимизации со стороны компилятора, начиная с банального паддинга и выравнивания в структурах. Кроме того, проблему "компилятор недостаточно умный, чтобы вставить memcmp" хотелось бы решать посредством повышения "интеллектности" компилятора, чтобы это работало для любого кода, и руками прописывать memcmp вообще не приходилось. Что находится полностью в русле изначальной концепции "хочу писать максимально декларативно".

В-четвёртых, переходим к концептуальным проблемам. 😊
Концептуальная проблема в том, что наше любимое "хочу писать декларативно, а там пусть компилятор думает" неизбежно разбивается о то, что компилятор думать не умеет. В Вашем примере оно разбивается на уровне "тегов типов", потому что оказывается, язык и компилятор всё равно не могут выразить и понять концепцию "непрерывной колеекции" и Вам придётся руками копипастить аннотации.

Т.е. всё равно в какой-то момент придётся что-то копипастить и аннотировать вручную. В Rust выбрали тот момент, который позволяет лучше проверять типы и генерировать более информативные сообщения об ошибках.

Кроме того — и это снова второй пункт — типовые инстансы замечательно генерируются дерайвами, так что уровень копипасты совпадает с "тегами типов". 🤷‍♀️
===
via https://t.iss.one/categories_plusplus/894

Статья о том, как прекрасен Rust (а вы что ждали? :-))

https://matklad.github.io//2020/07/15/two-beautiful-programs.html

"Asynchronous effects"
https://arxiv.org/abs/2003.02110

We explore asynchronous programming with algebraic effects. We complement their conventional synchronous treatment by showing how to naturally also accommodate asynchrony within them, namely, by decoupling the execution of operation calls into signalling that an operation’s implementation needs to be executed,
and interrupting a running computation with the operation’s result, to which the computation can react by installing interrupt handlers

Когда ты приходишь, задаёшь вопрос, но твой стакан не то что полон, а ещё и с горкой.

===
Roman na, [20.07.20 01:25]
У меня есть вопрос к знающим людям. Всё никак понять не могу. Вот есть язык C++ и там нет завтипов, насколько я понял. И вот меня интересует следующие - почему. Т.е. чего системе типов С++ не хватает и что нужно добавить, чтобы каким-то образом реализовать/добавить завтипы?
Либо чем тот же идрис на уровне системы типов отличается от С++. Объясните - на доступном уровне, если это возможно.
Обычно все отвечают "ну там они есть, а там нет". Но понятнее не становится

Constantine Drozdov, [20.07.20 01:29]
[In reply to Roman na]
Надо примерно добавить всё, что есть в Idris, и убрать примерно всё, что есть в C++

===
via https://t.iss.one/c/1062361327/31313
(не уверен, что эта ссылка работает не только для меня)

Велика сила утиной типизации

===
Oleg ℕizhnik, [23.07.20 15:29]
[In reply to Александр Меньшиков]
утиная типизация - это принцип моделирования, он в голове моделирующего работает.
Работает примерно так "эти две вещи круглые, их диаметр меньше 10 см, значит вполне логично положить каждую из них в стеклянную литровую банку", даже если это фонарик и полулитровая стеклянная банка

"А если диаметр чего-то из них больше 10 см, или вещь не круглая, ничего страшного у меня есть динамическая типизация, благодаря которой банка треснет, когда я буду класть в неё неподходящую вещь. Очень удобно, какой я продуктивный"

Дальше ты рассуждаешь "я взял из этой банки вещь, она наверняка круглая и диаметром меньше 10 см, очень хороший инструмент для раскатки теста ,иначе тесты бы упали"
В результате ты вытаскиваешь из банки книгу фуко, опасную бритву, катаешь тесто, приготовленное из машинного масла и комков пыли, отрезаешь себе пальцы, окровавленными обрубками ставишь получившееся "тесто" со страницами зарождения биополитики в стиральную машину и ждёшь.
Спустя час получаешь таймаут, и начинаешь отлаживать
===
https://t.iss.one/ebanatics_learn/29351

Раз уж Вафель начал за красоту, я тоже добавлю

K P A C U B O

Дважды рекомендую статью Parse, Don't Validate, ну и конечно мой перевод другой статьи от того же автора: Нет, динамические системы типов по своей сути не более открыты

< мем из профунктора

Я сгорел, ведь правильно приготовленный type-driven design оберегает от кучи логических ошибок, особенно связанных с проверками инвариантов (пресловутый is_initialized() вместо типа, который гарантирован находиться в валидном состояннии всегда).

Рекоммендую прочитать Parse, don't validate, или ее растоадаптацию для хабра.

#prog #rust #article

На этот раз — статья про концепцию разномерности типа в Rust.

github.com/pretzelhammer/rust-blog/blob/master/posts/sizedness-in-rust.md

Я помню свои первые впечатления, когда я сделал какой-то простой алгоритм на Rust, скомпилировал и попытался запустить. Что такое? Ничего не произошло? Я попытался ещё раз нажать ENTER на этот исполняемый файл, и вроде снова ничего не произошло... Нажатие Ctrl+O выявило собственно "проблему" - код отрабатывал настолько быстро, что я даже не успевал заметить моргание панелей MC 😊
Это было настолько свежим впечатлением после других, более тяжеловесных платформ, что я тут же полез скачивать и изучать Rust Book.
С тех пор прошла целая куча времени, и видно, как платформа (а язык Rust теперь смело можно называть не просто языком, а платформой) растёт и матереет, для меня наиболее значимым изменением оказались NLL, я прямо ощутил, насколько легче стало делать алгоритмический код, включающий в себя, как правило, множество изменяемых структур данных. И нельзя не отметить также насколько улучшился Rust плагин для моей любимой среды программирования Intellij Idea.
За эти 5 лет я стал участником русскоязычного Rust сообщества и Rust стал моим профессиональным инструментом. Мой путь в Rust был довольно долог и тернист, но сейчас у меня нет ощущения, что мне хочется переходить куда-то ещё. Так что пока я поработаю на Rust-е😊

^^^ Это мои слова, приведённые в статье, посвящённой годовщине выхода Rust. Более тяжеловесные платформы здесь имелись ввиду JVM (Java, Scala) и Haskell. Особенно первое.

Боже, спаси и сохрани статическую типизацию😇

^^^ Это об одном счастливом рефакторинге.

В какой-то момент я пришёл к выводу, что мне свои деревья надо переделывать. Я применил довольно спорное решение:

    pub fn get_node_mut(&mut self, r: Key<K>) -> &mut Node<K, T> {
        self.pool.get_mut(&r).expect("Tree invariant violation")
    }

Вот этот Key<K> — это тонкая обёртка (newtype) вокруг обобщённого типа K. И моя идея была такова, что этот Key<_> руками сконструировать невозможно, его можно получить только через методы вроде add_child_node.
И таким образом вроде как мы можем гарантировать, что все Key<K> обязательно содержатся в дереве, и поэтому можно просто возвращать &Node(операций удаления элементов нет, всё хорошо).

Но беда подкралась в тот момент, когда мне стало нужно несколько экземпляров деревьев, когда мы получаем Key<_> из одного экземпляра дерева, а потом берём этот ключ, и говорим get_node/get_node_mut у другого экземпляра дерева.
И тут может случиться паника из-за вон того .expect("Tree invariant violation").

То есть изначальная моя идея о том, чтобы ходить в дерево с Key была неудачная. Я поздно это понял, только когда уже в реальном коде столкнулся с несколькими деревьями.
Но кстати и там у меня был выбор:
можно было допилить и сделать дерево с несколькими корнями (и тогда экземпляр дерева был бы только 1), или избавлятья от этого Key.
Я выбрал таки избавиться, соответственно все get_node отныне должны вовзращать Option.

Переделки обещали быть многочасовыми и долгими, с фиксом кода, тестов и вот этого всего. Но как в дообрых индийских фильмах, всё разрешилось сразу и полностью, код и тесты заработали как только компилятор перестал ругаться.

Вчера стартовала бесплатная онлайн-конференция Haskell.Love. Сегодня с 16:00 на твиче начинаются доклады второго и заключительного дня: https://haskell.love/agenda-day-2

Из того, что лично я рекомендую не пропустить:
— Доклад Филип Уодлера «Propositions as Types» — материал старый, но просто за харизму докладчика стоит послушать ❤️
— Доклад Кристофера Фогта «Writing 2D games using super simple Haskell» — для тех, кто спрашивает «а что на этом вашем хаскеле вообще пишут?»
— Доклад Дерека Элкинса «Quotient Types + Behavioral Reflection = ?»
— Доклад Бартоша Милевского «Replacing functions with data» про технику дефункционализации…
— …либо доклад Габриэля Гонзалеса «How to market Haskell to a mainstream programmer», если интересен прикладной аспект хаскеля
— Доклад Ричайда Эйзенберга «Parameters of many Flavors»
— Ну и, наконец, доклад Эмили Пиллмор «Hulk SMASH: re-imagining the Maybe-monad and its design space»

Вчера тоже были крутые доклады — скажем, Вероника Ромашкина и Дмитрий Коваников представили офигенный Stan, Владислав Завьялов очень круто рассказал, как рассахариваются разные фичи хаскеля в GHC Core, а Андрес Лох поведал про Typed Template Haskell с использованием Staging (вот слайды).