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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

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

SP

Stanislav Popov in rust_offtopic
Doge Shibu
Ну да, примерно так.

Сами функции для работы с IO ничего не делают, только возвращают функции, которые принимают World. Отсюда требование ссылочной прозрачности полностью сохраняется.
ну только это мало чего дает кроме того что да я знаю что функция помечена как ио
источник
16:19пожаловаться#1

p

polunin.ai in rust_offtopic
Alex Zhukovsky
вот хаскельное ио так и устроено
нет, иначе бы оно выводило всегда SELECT * FROM TABLE
источник
16:20пожаловаться#2

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
нет, иначе бы оно выводило всегда SELECT * FROM TABLE
ты не понял
источник
16:20пожаловаться#3

AZ

Alex Zhukovsky in rust_offtopic
"в ранатайме" хаскелля сидит специальный код
источник
16:20пожаловаться#4

AZ

Alex Zhukovsky in rust_offtopic
который залезет _внутрь_ этой строки
источник
16:20пожаловаться#5

SP

Stanislav Popov in rust_offtopic
или я действительно не понял хаскель
источник
16:20пожаловаться#6

AZ

Alex Zhukovsky in rust_offtopic
и выполнит какие-то действия
источник
16:20пожаловаться#7

AZ

Alex Zhukovsky in rust_offtopic
но в самом хаскелле ты этого не увидишь
источник
16:20пожаловаться#8

AZ

Alex Zhukovsky in rust_offtopic
у тебя нет для этого средств в языке
источник
16:20пожаловаться#9

D

Dika in rust_offtopic
Stanislav Popov
ну только это мало чего дает кроме того что да я знаю что функция помечена как ио
Это дает то же, что и дает любая ссылочная прозрачность
источник
16:20пожаловаться#10

SP

Stanislav Popov in rust_offtopic
да пусть почитает лучше https://wiki.haskell.org/IO_inside и помедитирует два дня
источник
16:20пожаловаться#11

AZ

Alex Zhukovsky in rust_offtopic
короч в качестве упражнения реализуй ИО в расте
источник
16:20пожаловаться#12

DS

Doge Shibu in rust_offtopic
Stanislav Popov
ну только это мало чего дает кроме того что да я знаю что функция помечена как ио
Это даёт как раз все хорошие вещи, которые подразумевается под "чистотой" обычно.

Ты можешь рефакторить такие приложения элементарным образом без включения мозгов вообще, потому что у тебя никаких побочных эффектов при комбинировании этих самых IO не просиходит.
источник
16:21пожаловаться#13

AZ

Alex Zhukovsky in rust_offtopic
будет проще понять
источник
16:21пожаловаться#14

p

polunin.ai in rust_offtopic
Alex Zhukovsky
который залезет _внутрь_ этой строки
тогда о какой ссылочной прозрачности говорить, если в рантайме что-то лазит в мой код🤦🏻‍♀️
источник
16:21пожаловаться#15

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
тогда о какой ссылочной прозрачности говорить, если в рантайме что-то лазит в мой код🤦🏻‍♀️
в рантайме ссылочной прозрачности нет
источник
16:21пожаловаться#16

DS

Doge Shibu in rust_offtopic
Тупо взял, значение IO, выделил в функцию, переиспользовал и т.д. и т.п.
источник
16:21пожаловаться#17

AZ

Alex Zhukovsky in rust_offtopic
там её и не может быть, иначе бы хаскель не умел в базки ходить
источник
16:21пожаловаться#18

DS

Doge Shibu in rust_offtopic
Вообще не включая мозг
источник
16:21пожаловаться#19

AZ

Alex Zhukovsky in rust_offtopic
а тебе интересуют бенефиты которые ест ьв компайл атйм
источник
16:21пожаловаться#20