#prog #haskell #article

Статья (pdf) о технике, позволяющей запрограммировать регионы для выделения ресурсов (таких, как открытые файлы), удостоверяющие, что все выделенные ресурсы освобождены в конце региона (а не вычисления в целом, как в ST), что ручки к выделенным ресурсам не утекают из вычислений, корректно прокидывающее исключения (с деаллокацией ресурсов при досрочном завершении вычислений в регионе) и позволяющее вкладывать регионы один в другой без передачи значений-свидетельств вложенности регионов.

Лучший способ бросить курить — не начинать

#soc #video #article

Сборник небольших лекций (к счастью, не только в формате видео, но и в расшифровке) о различных аспектах маскулинности. Лекции короткие, так что глубина изложения не блещет, но в рамках расширения кругозора полезно.

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

Не со всеми представленными тезисами я согласен. Возможно, я ещё напишу об этом

Немного токсичный #prog #meme

#prog #meme #rust

Подтверждаю, жить с Rust весело, но страшновато

Ни дня не проходит, чтобы я не наткнулся на какое-нибудь issue, которое рассказывает о том, что в расте есть что-то фундаментально сломанное.

"loop {} — unsound"[1], "async и генераторы unsound"[2], "set_env всё ломает"[3], "бесконечная рекурсия мис компилится"[4], "noalias сломан. нет, я имею в виду всё ещё сломан"[5], [...]

[1]: #28728 (fixed)
[2]: #63818
[3]: [internals]
[4]: #85742
[5]: #84958

Как же страшно жить... Если кто-то хочет потерять всякую надежду, то вот список I-unsound и не requires-nightly issue в расторепе: [link]

#prog #rust #quotes

И впрямь

https://t.me/decltype_chat_ptr_t/24149

#prog #rust #meme

(thanks @aspirin_pp, пиши посты, блин)

Не будь придурком, проси помощи

Питоновские generator expressions, list comprehensions и так далее довольно легко переносятся на Rust, например:
Python: (i ** 2 for i in range(100) if i % 2 == 0)
Rust: (0..100u16).filter_map(|i| (i % 2 == 0).then(|| i.pow(2)))

#prog #python #rust

#prog #rust #python

Настолько, что есть библиотека для list/hashmap comprehension на Rust:

let squares = c![x*x, for x in 0..10];

let even_squares = c![x*x, for x in 0..10, if x % 2 == 0];

let squares_hashmap = c!{key => key*key, for key in 0..10};

Upd: если что, мне не нравится синтаксис питона для этих вещей

#ph #pxl 2021-01-29 like a painting

#ph #pxl 2021-04-22 broken

#prog #haskell #quotes

LGBT stands for:

L: Linear types
G: GADTs
B: Bang patterns
T: TemplateHaskell

Что делает @insert_reference_here, когда у него освобождается свободное время в выходные? Ну разумеется решает заковыристую задачку с лайфтаймами с работы.