Вчера стартовала бесплатная онлайн-конференция 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 (вот слайды).

#memes #pcgames

#prog #meme

#prog #rust

А знаете что это?

const _: () = {;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;};

Правильно, ещё одна валидная программа на расте!

#prog #sql

Статический анализатор для SQL в виде SaaS-решения.

Ссылка и пост об анализаторе. Спасибо @oleg_log за наводку

#prog #rust #go #article
Пусть тут будет

Over and over, every piece of documentation for the Go language markets it as "simple".

This is a lie.

Or rather, it's a half-truth that conveniently covers up the fact that, when you make something simple, you move complexity elsewhere.

Я НАШЁЛ Я НАШЁЛ ТУ САМУЮ СТАТЬЮ ГДЕ ПОКАЗЫВАЕТСЯ ПЛОХАЯ СТОРОНАЯ ГО И СРАВНИВАЕТСЯ С РАСТОМ

https://fasterthanli.me/articles/i-want-off-mr-golangs-wild-ride

#prog

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

Питонисты страшные люди

Стоп, питонисты — люди?

#prog #meme

#prog #meme
https://twitter.com/aarexer/status/1290610331388121089

#prog #rust

В программах на Rust можно глобально переопределить аллокатор памяти. Подразумевается, что глобальный аллокатор можно установить только единожды в дереве зависимостей (и это, вообще говоря, проверяет компилятор). Как показывает следующий пример — по каким-то причинам можно слинковать две статические библиотеки, которые обе определяют #[global_allocator] и при этом фактически используемый аллокатор будет зависеть от порядка, в котором они линкуются. Не жалуются ни компилятор, ни, что странно, линкер.

https://github.com/glandium/global_allocator_linkage-rs

#prog #c #article

Иногда вызовы через FFI могут оказать быстрее нативного C с динамической линковкой. Как? При помощи магии JIT-компиляции.

https://nullprogram.com/blog/2018/05/27/

"Запускай JS на Java GraalVM ломай HR"