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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

AV

Alexander Vershilov in Haskell
Vlad 0xd728c4a7cd55d8db
В общем, если оставить в сторону абстрактные темы, то могу переформулировать так - есть ли языки/экосистемы/whatever которые имея несколько частей задеплоеными на разные ноды, связанные по сети - могли бы мне гарантировать, что условный HTTP GET ничего никуда не пишет (чистый в системном смысле)?
Ну можно, но игра не стоит свечь в большинстве случаев
источник
09:47пожаловаться#1

AV

Alexander Vershilov in Haskell
Алексей ayaye :)
для встроенного софта это важно, за этим следят и, вроде бы, кое-где строго доказывают
Это не человеческие системы Ж)
источник
09:47пожаловаться#2

AV

Alexander Vershilov in Haskell
Так-то в hard realtime надо доказывать и следить
источник
09:48пожаловаться#3

AK

Aleksey Kislitsa in Haskell
Алексей ayaye :)
для встроенного софта это важно, за этим следят и, вроде бы, кое-где строго доказывают
Там вроде как в тактах время измеряют?
источник
09:48пожаловаться#4

А

Алексей ayaye :)... in Haskell
Aleksey Kislitsa
Там вроде как в тактах время измеряют?
я близко не знаком
источник
09:49пожаловаться#5

AV

Alexander Vershilov in Haskell
кажется, но это не точно, что в таких системах в отличии от пользовательских такты пропорциональны времени
источник
09:49пожаловаться#6

AV

Alexander Vershilov in Haskell
Так что это вопрос удобных единиц измерения
источник
09:50пожаловаться#7

А

Алексей ayaye :)... in Haskell
Vlad 0xd728c4a7cd55d8db
В общем, если оставить в сторону абстрактные темы, то могу переформулировать так - есть ли языки/экосистемы/whatever которые имея несколько частей задеплоеными на разные ноды, связанные по сети - могли бы мне гарантировать, что условный HTTP GET ничего никуда не пишет (чистый в системном смысле)?
статический анализ реализации http get может показать, что, грубо говоря, socket.read используется, а socket.write - нет
источник
09:50пожаловаться#8

AV

Alexander Vershilov in Haskell
не может
источник
09:51пожаловаться#9

AV

Alexander Vershilov in Haskell
100% используется socket.write
источник
09:51пожаловаться#10

AV

Alexander Vershilov in Haskell
^_^
источник
09:51пожаловаться#11

AV

Alexander Vershilov in Haskell
При этом ещё допустимо чтение из файла/базы/<libastral> и не везде можно отличить действие с эффектом, от действия без эффекта, а ещё могут и будут писаться метрики и логи, которые вообще-то эффект
источник
09:52пожаловаться#12

AV

Alexander Vershilov in Haskell
Поэтому скорее обычно будет разумное приближение, а разумное приближение можно сделать в Haskell
источник
09:53пожаловаться#13

А

Алексей ayaye :)... in Haskell
Alexander Vershilov
При этом ещё допустимо чтение из файла/базы/<libastral> и не везде можно отличить действие с эффектом, от действия без эффекта, а ещё могут и будут писаться метрики и логи, которые вообще-то эффект
я имею ввиду, что если все эффекты бы детально описывались, тогда можно было бы что-то подоказывать
источник
09:54пожаловаться#14

AV

Alexander Vershilov in Haskell
Просто надо использовать не IO а обёртку поверх, например введя RIO r (restricted IO, а не фреймворк от Сноймана), где r это RO | RW
источник
09:54пожаловаться#15

AV

Alexander Vershilov in Haskell
тогда readonly операции будут RIO r, а readwrite RIO RW
источник
09:54пожаловаться#16

AV

Alexander Vershilov in Haskell
Тогда при сборе выражения выведется нужный тип
источник
09:55пожаловаться#17

AV

Alexander Vershilov in Haskell
Так иногда делают
источник
09:55пожаловаться#18

А

Алексей ayaye :)... in Haskell
можно пойти дальше и различать, куда именно запись идет
источник
09:55пожаловаться#19

AV

Alexander Vershilov in Haskell
Можно идти как угодно далеко в зависимости от того, какой есть профит
источник
09:55пожаловаться#20