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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1631 membersпожаловаться на группу
2020 November 19

V0

Vlad 0xd728c4a7cd55d... in Haskell
Есть ли способ избавиться от IO в сигнатуре, если мы read-only из чего-то ipfs-подобного?
Я понимаю, что сеть ненадежна, но нельзя ли в случаях ошибки хардвари просто упасть, или erlang-style тут не в почете?
Короче, хочется воспринимать ф-ю с таким чтением как чистую, обращающуюся к константе в типа-ооооочень-медленной-памяти?
источник
01:51пожаловаться#1

MP

Misha Puzanov in Haskell
можно, через unsafePerformIO
источник
01:57пожаловаться#2

MP

Misha Puzanov in Haskell
но как обычно, это очень сильно не рекомендуется делать
источник
01:58пожаловаться#3

MP

Misha Puzanov in Haskell
как минимум потому, что из-за ленивости исключение вылетит в совершенно произвольный момент
источник
01:59пожаловаться#4

MP

Misha Puzanov in Haskell
вернее не "произвольный", а очень неожиданный
источник
01:59пожаловаться#5

MP

Misha Puzanov in Haskell
короче говоря, это с вероятностью 99% будет плохой дизайн
источник
02:01пожаловаться#6

к

кана in Haskell
Misha Puzanov
но как обычно, это очень сильно не рекомендуется делать
очень сильно не рекомендую считать, что это очень сильно не рекомендовано
источник
02:11пожаловаться#7

к

кана in Haskell
нормальная практика, главное знать что делаешь
источник
02:11пожаловаться#8

к

кана in Haskell
и проставить правильно инлайн/ноинлайн аннотации
источник
02:12пожаловаться#9

к

кана in Haskell
ну чаще всего ноинлайн в этом случае
источник
02:12пожаловаться#10

к

кана in Haskell
другое дело что это редко нужно
источник
02:13пожаловаться#11

к

кана in Haskell
обычно нет проблемы прочитать в io и закинуть значение в ридер/имплиситы
источник
02:13пожаловаться#12

к

кана in Haskell
монады-то для этого и нужны
источник
02:13пожаловаться#13

MP

Misha Puzanov in Haskell
кана
нормальная практика, главное знать что делаешь
ну это такая универсальная оговорка, когда направляешь дробовик в сторону ноги

я это видел только в наборе ограниченных кейсов, для производительности, когда хочется соъранить чистый API (типа xeno какого-нибудь), для глобальных переменных (это вроде паттерн даже), да и все в общем-то
источник
02:15пожаловаться#14

к

кана in Haskell
ну в основном глобальные переменные я и подразумеваю
источник
02:15пожаловаться#15

MP

Misha Puzanov in Haskell
в данном случае сложная система, которая что-то там читает из сети — ну такоэ
источник
02:15пожаловаться#16

к

кана in Haskell
тут вроде как такой же кейс, просто глобальная константа, которая извне
источник
02:15пожаловаться#17

к

кана in Haskell
она правда поэтому и не константа
источник
02:16пожаловаться#18

к

кана in Haskell
возможно этот кейс можно решить просто в компайлтайме темплейт-хаскелем, ну вдруг
источник
02:16пожаловаться#19

MP

Misha Puzanov in Haskell
фиг знает, но судя по вопросу, я бы точно не стал делать фейковые чистые значения в данном случае
источник
02:17пожаловаться#20