В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

rust_offtopic

374 membersпожаловаться на группу
2020 June 24

ML

Mike Lubinets in rust_offtopic
Stanislav Popov
могли бы быть экспрешеном сразу

тогда когда до них всетаки дойдет что нужны явные опоеделения переменных у них будет больше козырей аля ой а у нас такая идеология
Стас, в питоне нет скоупов
источник
14:59пожаловаться#1

ML

Mike Lubinets in rust_offtopic
Зачем там матч как экспрешн?
источник
14:59пожаловаться#2

SP

Stanislav Popov in rust_offtopic
чтобы не было идиотии как в сишке когда ретурн происходит мутацией указателя аргумента
источник
15:01пожаловаться#3

r

red75prime in rust_offtopic
badtrousers
пенроуз прав потому что есть бог
Не, это как представители бога на земле решат. Если решат, что бог может вложить душу в машину, сконструированную определенным образом, то так и будет для соответствующей конфессии.
источник
15:02пожаловаться#4

b

badtrousers in rust_offtopic
причем тут люди вообще
источник
15:03пожаловаться#5

b

badtrousers in rust_offtopic
люди никакого отношения к богу не имеют
источник
15:04пожаловаться#6

r

red75prime in rust_offtopic
К какому из них?
источник
15:04пожаловаться#7

p

polunin.ai in rust_offtopic
хм, может я чего-то не понимаю, но зачем работа с файлами в прелюде? @Psilon
источник
15:04пожаловаться#8

ML

Mike Lubinets in rust_offtopic
Stanislav Popov
чтобы не было идиотии как в сишке когда ретурн происходит мутацией указателя аргумента
Где связь? Что тебе мешает вернуть тот же Result, описанный в https://t.me/rust_offtopic/296642
Telegram
Mike Lubinets in rust_offtopic
https://www.python.org/dev/peps/pep-0622/#sealed-classes-as-adts
источник
15:04пожаловаться#9

NL

Nick Linker in rust_offtopic
red75prime
Да. Строится формула, выражающая непротиворечивость системы, самоприменяется... PROFIT!
Два момента:
1. Утверждается, что найдётся некоторая формула, которая будет иметь такой-то номер (утверждение о существовании такого номера, неконструктивно, оно основывается на доказательстве от противного)
2. И эта формула если истинна, то будет ложной, а если ложна - то будет истинна — это явное применение закона исключение третьего)

Вот эти два момента меня смущают в этом "конструктивном" доказательстве.
источник
15:05пожаловаться#10

SP

Stanislav Popov in rust_offtopic
Mike Lubinets
Зачем там матч как экспрешн?
ну жевали сто раз но у меня большенство кода это когда из матча и ифа хочется чтото вернуть а не мутировать. но мне говорят ну потерпи, у нас чтобы вернуть нужно мутировать, в итоге пишем мусор вида
ololo: Type
if ..:
    ololo =1
else:
    ololo=2

с оправданиями ой а позно, ой а у нас именно так идиоматично
источник
15:05пожаловаться#11

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
хм, может я чего-то не понимаю, но зачем работа с файлами в прелюде? @Psilon
кто-то считает что оно того стоит
источник
15:05пожаловаться#12

SP

Stanislav Popov in rust_offtopic
Mike Lubinets
Где связь? Что тебе мешает вернуть тот же Result, описанный в https://t.me/rust_offtopic/296642
Telegram
Mike Lubinets in rust_offtopic
https://www.python.org/dev/peps/pep-0622/#sealed-classes-as-adts
может я чего то не понял. всмысле "вернуть" ?
как я понял ты не можешь сделать ololo = match ....
ты вынужден
match ...
    case: 
         ololo=1

и подразумевать что ololo ты "возвращаешь"
источник
15:06пожаловаться#13

ML

Mike Lubinets in rust_offtopic
Stanislav Popov
может я чего то не понял. всмысле "вернуть" ?
как я понял ты не можешь сделать ololo = match ....
ты вынужден
match ...
    case: 
         ololo=1

и подразумевать что ololo ты "возвращаешь"
И почему это плохо...?
источник
15:07пожаловаться#14

SP

Stanislav Popov in rust_offtopic
потому что явно ты ничего не возвращаешь. ты чтото мутируешь чего раньше не было в скоупе и читатель должен догадаться что эменно эту переменную следует трактовать как результат матча
источник
15:08пожаловаться#15

ML

Mike Lubinets in rust_offtopic
Stanislav Popov
ну жевали сто раз но у меня большенство кода это когда из матча и ифа хочется чтото вернуть а не мутировать. но мне говорят ну потерпи, у нас чтобы вернуть нужно мутировать, в итоге пишем мусор вида
ololo: Type
if ..:
    ololo =1
else:
    ololo=2

с оправданиями ой а позно, ой а у нас именно так идиоматично
Ну я про это уже выше написал: да, больше бойлерплейта, но это не такая уж критичная проблема
источник
15:08пожаловаться#16

ML

Mike Lubinets in rust_offtopic
Stanislav Popov
потому что явно ты ничего не возвращаешь. ты чтото мутируешь чего раньше не было в скоупе и читатель должен догадаться что эменно эту переменную следует трактовать как результат матча
Дак не пиши длинных функций
источник
15:09пожаловаться#17

r

red75prime in rust_offtopic
Nick Linker
Два момента:
1. Утверждается, что найдётся некоторая формула, которая будет иметь такой-то номер (утверждение о существовании такого номера, неконструктивно, оно основывается на доказательстве от противного)
2. И эта формула если истинна, то будет ложной, а если ложна - то будет истинна — это явное применение закона исключение третьего)

Вот эти два момента меня смущают в этом "конструктивном" доказательстве.
Я не математик, но тут говорят, что конструктивна https://math.stackexchange.com/questions/448527/are-the-g%C3%B6dels-incompleteness-theorems-valid-for-both-classical-and-intuitionis
источник
15:09пожаловаться#18

b

badtrousers in rust_offtopic
фундаментальная математика — это весело!
источник
15:10пожаловаться#19

b

badtrousers in rust_offtopic
red75prime
К какому из них?
в смысле к какому?
источник
15:11пожаловаться#20