пайчарм основывается он больше на статическом анализе и предыдущих запусках во встроенном отладчике. Т.о. все проверки у пайчарма - вероятностные :)

неужели вы серьёзно обсуждаете тайпанонсированную питонку

/me просто увидел и прокомментировал...

Серьезно ее никто и не обскждает

всё же не уловил что вы разделили мою грусть насчет статики

пайчарм основывается он больше на статическом анализе и предыдущих запусках во встроенном отладчике. Т.о. все проверки у пайчарма - вероятностные :)

да, но анотации типов упрощает ему работу с ними лучше саджесты работают

Не без этого, да

это так естественно и забавно что статика тяготеет к совершенно поехавшим вещам

Смешно канеш что статика дает пердформанс и гарантии корректности Но динамикопетухи все равно держатся за свою парашу потому что им лень писать сигнатуры

пишут сигнатуры даже иногда

статика дает перфоманс, да. и на этом всё

динамикопетухи пишут такие вещи, для реализации которых от которых от статикопетухов потребовалось бы десяток бумаг

> петухи < петухи

я себе тяжело представляю сигнатуру корутины с замыканием, отдающей еще и итератор итераторов какого то говна

ну теость, статика в какой то момент насколько тяжелеет что в тип хочется засунуть вообще всё

Это вы про раст?

Как будто в дворик с гопарями попал

Это вы про раст?

конечно нет

это я про дженерал статикоМЫСЛЬ

это так естественно и забавно что статика тяготеет к совершенно поехавшим вещам

статикоМИРОВОЗРЕНИЕ

это так естественно и забавно что статика тяготеет к совершенно поехавшим вещам

что за "совершенно поехавшим вещам" и что ты обобщяешь под "статикой" ?

>что за "совершенно поехавшим вещам" монадки, стрелки, всякие dependent type, и прочие вещи которые требуют от кодерка при делании a = b обдумывания мировых проблем и 9000 того что есть в сигнатурах >"статикой" я бы настаивал на то что это вообще такое "философское" течение, определить можно из каких то стремлений общих (перфоманс/корректность/минимальность рантайма) на стадии выполнения происходящее не похоже на то что писалось -> дебаг страдает, есть необходимость накрутить корректность, чем круче хочется абстракций тем больше сложности в накручивании средств проверяющих корректность

> монадки, стрелки, всякие dependent type, и прочие вещи которые требуют от кодерка при делании a = b обдумывания мировых проблем и 9000 того что есть в сигнатурах совсем сумашествие, поддерживаю

статикомысль конечно прекрасна но я как представлю аппарат обеспечения "статичности" для тех же луе-стайл корутинок

так а оно туда и идет

сначала выносим в сигнатуру лайфтайм, потом стейт например итератора, потом то что может пойти не так

в какой то момент переходят и на эту дрянь

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

консты вон, совсем забыл

в какой то момент переходят и на эту дрянь

как минимум две rfc с этим к расту уже видел

придумал еще что можно засунуть в сигнатуру - выделяемую функцией память/размер колстека

но это уже скорее на радость совсем уже байтобогам

Смешно канеш что статика дает пердформанс и гарантии корректности Но динамикопетухи все равно держатся за свою парашу потому что им лень писать сигнатуры

последний проект на питоне писал полностью со всеми сигнатурами и аннотациями типов. дает автокомплит и примерное понимание "что-куда"

на расте писать не мог из-за отсталости либы для телеграм ботов(

допили либу

и пиши на расте

Правильно, чо ты как слабак?

У телеги элементарный апи

у либы черная магия кодогенерации и макросов, ниасилил

впрочем, согласен помочь, если кто-то согласится потратить пару вечеров на это

делать простого ботика без inline-markup и всех этих нововведений было весьма приятно

Немного оффтопика: как красиво реализовать работу с git по ssh для разных пользователей (разные пользователи имеют доступ к разным репо). Играться с .authorized_keys подставляя туда command для разных пользователей? Или лучше сделать свой ssh сервер на другом порту и проксить (как?) туда команды с основного (на 22 порту) ssh сервера?

разным юзерам разные права на папки. а можно не изобретать велосипед и какое-нить готовое решение поставить, гитлаб например

Гогс

> гитлаб например Я тут как раз его на Rust переписываю 🌑

> гитлаб например Я тут как раз его на Rust переписываю 🌑

зачем

Ибо жрет памяти (2Gb) много

зачем

Потому что он ну слишком жирный

> гитлаб например Я тут как раз его на Rust переписываю 🌑

Репа где?

> разным юзерам разные права на папки. Тогда же придется плодить системных пользователей (useradd) Или я не понимаю?

Репа где?

Пока бы разобраться как оно все устроено, потом уже писать

> разным юзерам разные права на папки. Тогда же придется плодить системных пользователей (useradd) Или я не понимаю?

посмотри как реализован гитлаб исходники открытые

> GitLab Shell handles git commands for GitLab and modifies the list of authorized keys Да, надо играться с .authorized_keys

придумать велосипед с правами по ssh, переписать гитлаб на расте) вот у людей полет мысли)))

Немного оффтопика: как красиво реализовать работу с git по ssh для разных пользователей (разные пользователи имеют доступ к разным репо). Играться с .authorized_keys подставляя туда command для разных пользователей? Или лучше сделать свой ssh сервер на другом порту и проксить (как?) туда команды с основного (на 22 порту) ssh сервера?

> гитлаб например Я тут как раз его на Rust переписываю 🌑

Всё переписать на расте!

Даже небо, даже Аллаха!

переписать вселенную с js на rust принимайте вызов!

Но ведь вселенная написана на Lisp.

Всегда была

Переписать sbcl на раст

Вот это вызов

https://github.com/edef1c/grit

бэм

https://github.com/edef1c/grit

зачем?!

потому что можем

потому что евангелизм страйкфорс

зачем?!

а то сишный гит не портабельный и на каждом шагу течёт и сегфолтится

проги на C ониж все такие

а есть гдето контора, которая платит за то, что я на раст писать буду?

типа всякие штуки хайповые

так есть тут какой-то блокчейновый чел