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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

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

t

toriningen in rust_offtopic
Stanislav Popov
у тебя есть функция взятия времени под ио. ты не сможешь подсунуть такое ио чтобы время бралось одно и то же. или файлики были одни и те же
ты не понимаешь смысла ио. ио - не особенная, это обычная монада, которая ничем не отличается от других монад
источник
23:18пожаловаться#1

AZ

Alex Zhukovsky in rust_offtopic
Stanislav Popov
у тебя есть функция взятия времени под ио. ты не сможешь подсунуть такое ио чтобы время бралось одно и то же. или файлики были одни и те же
Напиши ИО для раста, сразу расставишь все по местам
источник
23:19пожаловаться#2

t

toriningen in rust_offtopic
я могу подсунуть любую реализацию ио, в том числе такую, которая возвращает любое время
источник
23:19пожаловаться#3

t

toriningen in rust_offtopic
потому что "подсунуть реализацию ио" нужно читать как "подсунуть монаду Х", т.к. к ио это уже не будет иметь отношения. ио - вполне конкретная, пусть и обычная монада
источник
23:19пожаловаться#4

A

Aleksandr Khristenko in rust_offtopic
toriningen
я могу подсунуть любую реализацию ио, в том числе такую, которая возвращает любое время
если у тебя функция должна выполнятся именно в IO монаде, как ты другую туда подсунешь?
источник
23:20пожаловаться#5

AZ

Alex Zhukovsky in rust_offtopic
Stanislav Popov
у тебя есть функция взятия времени под ио. ты не сможешь подсунуть такое ио чтобы время бралось одно и то же. или файлики были одни и те же
я не понимаю о чем ты:

sameTime :: IO Time
sameTime = pure $ Time 2020 01 01 10 00

Вот функция из под ИО возвращает всегда одно и то же время
источник
23:20пожаловаться#6

AZ

Alex Zhukovsky in rust_offtopic
toriningen
я могу подсунуть любую реализацию ио, в том числе такую, которая возвращает любое время
речь рпо IO а не MonadIO полагаю
источник
23:20пожаловаться#7

SP

Stanislav Popov in rust_offtopic
Alex Zhukovsky
я не понимаю о чем ты:

sameTime :: IO Time
sameTime = pure $ Time 2020 01 01 10 00

Вот функция из под ИО возвращает всегда одно и то же время
но есть код который делает getCurrentTime
источник
23:22пожаловаться#8

AZ

Alex Zhukovsky in rust_offtopic
Stanislav Popov
но есть код который делает getCurrentTime
но ведь этот getCurrentTime как-то реализован, нет?
источник
23:22пожаловаться#9

AZ

Alex Zhukovsky in rust_offtopic
как ты собираешься подменять его?
источник
23:22пожаловаться#10

SP

Stanislav Popov in rust_offtopic
я не знаю
источник
23:22пожаловаться#11

SP

Stanislav Popov in rust_offtopic
а как хаскелисты предлагают его подменять чтобы получить чистоту?
источник
23:22пожаловаться#12

AZ

Alex Zhukovsky in rust_offtopic
тебе не надо ничего подменять чтобы получить чистоту
источник
23:23пожаловаться#13

t

toriningen in rust_offtopic
"получить чистоту". но она изначально есть.
источник
23:23пожаловаться#14

SP

Stanislav Popov in rust_offtopic
лан спрашиваю еще раз
источник
23:23пожаловаться#15

AZ

Alex Zhukovsky in rust_offtopic
ИО можно считать как ленвый Id (если мы про энергичные языки говорим)
источник
23:23пожаловаться#16

t

toriningen in rust_offtopic
IO не "выполняет сайдэффекты". когда ты выполняешь любую функцию, которая возвращает IO, ты не выполняешь никаких эффектфульных операций
источник
23:23пожаловаться#17

SP

Stanislav Popov in rust_offtopic
можно ли взять такой ио который бы давал одно и то же время если скармливать его в getCurrentTime ?
источник
23:23пожаловаться#18

AZ

Alex Zhukovsky in rust_offtopic
Stanislav Popov
можно ли взять такой ио который бы давал одно и то же время если скармливать его в getCurrentTime ?
что такое "такой ИО"? ИО это конкретная структура
источник
23:24пожаловаться#19

AZ

Alex Zhukovsky in rust_offtopic
которую возвращает getCurrentTime
источник
23:24пожаловаться#20