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

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

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

    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 (вот слайды).

А меня так бесит реакция на ^W в разных приложениях и браузерах

В Intellij Idea оно (сочетание) для инкрементального увеличивающегося выделения части слова под курсором - слова - обрамляющего выражения и так далее. Это настолько удобная фича, что её жмёшь уже бессознательно и тут херак -- и окно закрылось 😖

По привычке нажал ^R в плейграунде, чтобы заменить текст и страница перегрузилась стерев весь мой код >_<

Уверен, многие знают и любят эту фичу

Я ожидал какой-то другой развязки, из-за этого было особенно смешно😁

#prog

Блеск и нищета #kotlin

Не распознал сарказм, чёрт. Пора спать уже
===
Doctor Foland Dondoa:
payload = generate_payload(**locals(), exclude=['files'])

ЭТО БЛЯТЬ ГЕНИАЛЬНО

**locals()

Nick Linker:
Щас бы называть неконтролируемый эффект доступа к окружению гениальным 😑

Berkus Decker:
думаю это был сраказм

Doctor Foland Dondoa:
ну вот я бы до такого маразма не додумался
но есть гении однако
===
via https://t.iss.one/rust_offtopic/341279

Я поддержу растамана, anyhow когда вам нужно "по-быстрому", и thiserror когда вам нужно "правильно".

Всё кроме anyhow и thiserror #ненужно

Разве что fehler из любви к Лодочнику^W ok-wrapping

Неплохой обзор языков со статической типизацией и набором фич, которые поддерживают системы типов каждого из языков (и проблем, которые их системы типов содержат).
https://typing-is-hard.ch/

ожидания: бог алгоритмики
реальность: императивная макака

AMD + Rust = 🦄❤️
Ну во всяком случае работа по этому направлению становится активнее, что не может не радовать.

https://bheisler.github.io/post/state-of-gpgpu-in-rust/

^^^ Или лучше сказать, GPU + Rust, потому что в статье не только об OpenCL и Вулканах, а также и CUDA, которая как известно является проприетарной технологией Nvidia.

Submitted by @Strangerx