в https://t.me/ru_nim_talks не засветились?

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

лол, не знал про существование русского чата

Кому не спится и хочет послушать что то(пока что идет достаточно интровое) про ЛЛВМ Z3 проходит встреча , описание прикрепил. Метрам можем быть скучновато, пока идет оверью, интересующимся полезно. Что будет про прувер пока непонятно.  

LLVM Austin Area Meetup
Vince Bridgers
Hosted by
Vince Bridgers

We'll resume the meetups this week through Zoom.

This week, I'll do a brief overview of LLVM and Clang, and cover static analysis. I'll describe the Z3 theorem prover and how it can be used to refute false positive reports from the static analyzer. This will be mostly basic overview, with some introductory technical content.

Please use the following Invite link to connect to the meeting.

https://us02web.zoom.us/j/81808075342?pwd=NDNQRFFlMEhYYmZQbkpHSnRzMmw5Zz09

@vyorkin А почему сообщение удалили? Вполне по тематике чата.

я просто нашел материалы и 2 пейпера по теме, попробовал начать читать и вроде пока все понятно...

я начал с deep vs shallow embedding

Хорошо, будет с кем обсудить стратегическое переписывание. А то сколько я не пытался рекламировать — люди не проникаются :) Обычно просто с трудом находят какую-то заброшенную непрактичную реализацию на Haskell, мол, «у нас тоже есть», да и успокаиваются на этом.

ха, я пока даже не знаю что это такое) а что это?

Это из Вашей yt-ссылки. http://www.jameskoppel.com/files/slides/cdt_strat.pptx Там автор перепробовал разные популярные в ФП подходы и неминуемо пришел к стратегиям :)

а, это в конце доклада, понял

Я бы назвал это кульминацией доклада :)

хм, а кто-то пытался оптимизировать ФП код в императивный через... созданием из чистого кода нечистый? например, заменить все бинды к IO на обычный вызов функции в каком-то IR. По каким-то хитрым правилам преобразовывать иммутабельные операции в мутабельные, когда есть 100% гарантия, что существует только одна ссылка на экземпляр. Ну и к этому скорее всего нужен еще no-gc менеджемнт памяти, скорее всего.

чего все так прицепились к бедному gc

сейчас gc уже не модно...

генерация мутабельного если можно доказать отсутствие обзервабельных эффектов - стандартная оптимизация

и много языков без гц нынче делают?

rust, nim, v, zig, ...

в ниме есть сборщик, v это vaporware, остаётся два

и то в расте же на любые структуры посложнее вешают рефкаунтинг