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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

371 membersпожаловаться на группу
2020 April 26

p

polunin.ai in rust_offtopic
Bogdan
И почему не релевантная? Очень даже релевантная судя по описанию
1 мне нахуя?
2 - я уже больше трех лет в курсе про жидбрейнс и каждый день пользуюсь их продуктами, зачем показывать одно и то же?
3 - я уже учусь три года, зачем мне показывать рекламу колледжа в котором учусь?
источник
14:45пожаловаться#1

JC

Julian =) Coffee in rust_offtopic
Кстати в коментах по статье про парс донт валидейт был еще длинный срач про разницу между void, bottom и never
источник
14:49пожаловаться#2

JC

Julian =) Coffee in rust_offtopic
Так вот я тут задумался, а функция которая бросает эксепшен это вообще чистая функция?
источник
14:50пожаловаться#3

JC

Julian =) Coffee in rust_offtopic
Ну мол с одной стороны, она для условного 4 всегда дает bottom
источник
14:50пожаловаться#4

JC

Julian =) Coffee in rust_offtopic
Но с другой стороны у нас идет размотка стэка, джампы во все стороны и плевание в консольку обычно
источник
14:51пожаловаться#5

JC

Julian =) Coffee in rust_offtopic
Или это уже проблемы реализации?
источник
14:51пожаловаться#6

p

polunin.ai in rust_offtopic
Julian =) Coffee
Так вот я тут задумался, а функция которая бросает эксепшен это вообще чистая функция?
не зависит же
источник
14:56пожаловаться#7

p

polunin.ai in rust_offtopic
чистая - значит результат ссылочно прохрачен по отношению к аргументам (или как-то так)
а в случае эксепшена результата нету
источник
14:57пожаловаться#8

p

polunin.ai in rust_offtopic
то есть функция которая бросает эксепшен может быть ссылочно прохрачной а может не быть. можно только сказать что такая функция нетотальная.
источник
14:58пожаловаться#9

JC

Julian =) Coffee in rust_offtopic
А как она может быть чистая, если нет результата?
источник
15:00пожаловаться#10

JC

Julian =) Coffee in rust_offtopic
Или мол, когда бросает эксепшен тогда нечистая, а когда нет - тогда чистая?)
источник
15:00пожаловаться#11

p

polunin.ai in rust_offtopic
Julian =) Coffee
А как она может быть чистая, если нет результата?
потому что на данном отрезке результата нет
источник
15:01пожаловаться#12

p

polunin.ai in rust_offtopic
значит и определение ссылочной прохрачности неприменимо к этому отрезку
источник
15:01пожаловаться#13

p

polunin.ai in rust_offtopic
определить ссылочную прозрачность можно для отрезка возвращающего значение
источник
15:01пожаловаться#14

S

Soul in rust_offtopic
когда без экзепшонов это наверное тотальная
источник
15:02пожаловаться#15

p

polunin.ai in rust_offtopic
ну там может быть бесконечный цикл еще
источник
15:02пожаловаться#16

p

polunin.ai in rust_offtopic
Julian =) Coffee
Или мол, когда бросает эксепшен тогда нечистая, а когда нет - тогда чистая?)
можно говорить о ссылочной прозрачности для функции только для того отрезка на котором функция возвращает значение
источник
15:03пожаловаться#17

S

Soul in rust_offtopic
но я сишник и у меня мои "чистые" функции выбрасывают чистые ошибки в виде sigint в возвращаемом значении, и краши случаются, и сегфолты, и все что угодно
источник
15:03пожаловаться#18

JC

Julian =) Coffee in rust_offtopic
Тотальные функции это которые возвращают результат на всех аргументах получается?
источник
15:03пожаловаться#19

p

polunin.ai in rust_offtopic
Julian =) Coffee
Тотальные функции это которые возвращают результат на всех аргументах получается?
те которые возвращают значение за конечное время для всех входных аргументов
источник
15:04пожаловаться#20