Телеграмм чат группы rust_offtopic страница 11276

parrot.ru

Рейтинг популярных групп и каналов

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

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

2020 April 23

DS

Doge Shibu in rust_offtopic

да-да, и программа ничего не выводит, и в программу ничего не вводят

Тут надо разделять то, что происходит на момент работы с кодом и в момент выполнения программы.

Программа с IO - на хаскеле, это считай работа с чистым eDSL, которым IO и является. Ты можешь спокойно куда и как угодно передавать IO, т.к. это чистые значения, которые по сути являются описаниями того, что нужно будет программе сделать в момент исполнения.

источник

11:44пожаловаться #1

p

polunin.ai in rust_offtopic

Тут надо разделять то, что происходит на момент работы с кодом и в момент выполнения программы.

Программа с IO - на хаскеле, это считай работа с чистым eDSL, которым IO и является. Ты можешь спокойно куда и как угодно передавать IO, т.к. это чистые значения, которые по сути являются описаниями того, что нужно будет программе сделать в момент исполнения.

во время выполнения грязь выполняется, и ты рассчитываешь это до компиляции

источник

11:46пожаловаться #2

p

polunin.ai in rust_offtopic

IO хорошо как эффект, но говорить что функция ссылочно прозрачна когда она делает ввод-вывод это самообман

источник

11:46пожаловаться #3

DS

Doge Shibu in rust_offtopic

во время выполнения грязь выполняется, и ты рассчитываешь это до компиляции

Да, примерно так.

Т.е. твоя программа на хаскеле - это, считай, программа, которая конструирует программу для рантайма.

источник

11:47пожаловаться #4

p

polunin.ai in rust_offtopic

Да, примерно так.

Т.е. твоя программа на хаскеле - это, считай, программа, которая конструирует программу для рантайма.

один фиг, мой коде делает ввод-вывод

источник

11:47пожаловаться #5

DS

Doge Shibu in rust_offtopic

IO хорошо как эффект, но говорить что функция ссылочно прозрачна когда она делает ввод-вывод это самообман

Но она буквально по определению будет ссылочнопрозрачной

источник

11:47пожаловаться #6

DS

Doge Shibu in rust_offtopic

один фиг, мой коде делает ввод-вывод

Вопрос в том, что с IO - у тебя все функции будут ссылочно прозрачными, что упрощает рефакторинг на порядки

источник

11:47пожаловаться #7

p

polunin.ai in rust_offtopic

Вопрос в том, что с IO - у тебя все функции будут ссылочно прозрачными, что упрощает рефакторинг на порядки

нет

источник

11:47пожаловаться #8

AZ

Alex Zhukovsky in rust_offtopic

во время выполнения грязь выполняется, и ты рассчитываешь это до компиляции

я уже показывал пример:

main = do
    let hello = print "Hello"
    print "World"

источник

11:47пожаловаться #9

AZ

Alex Zhukovsky in rust_offtopic

какой вывод будет на экране?

источник

11:48пожаловаться #10

p

polunin.ai in rust_offtopic

World

источник

11:48пожаловаться #11

AZ

Alex Zhukovsky in rust_offtopic

почему?

источник

11:48пожаловаться #12

DS

Doge Shibu in rust_offtopic

нет

Возьми определение ссылочной прозрачности, примени к функции возвращающей IO - получишь, что она ссылочно прозрачна. (Если без всяких unsafePerformIO)

источник

11:48пожаловаться #13

p

polunin.ai in rust_offtopic

ты не вызвал первый принт а просто записал в переменную его

источник

11:48пожаловаться #14

AZ

Alex Zhukovsky in rust_offtopic

ты не вызвал первый принт а просто записал в переменную его

это и значит что значение ссылочно прозрачное

источник

11:49пожаловаться #15

AZ

Alex Zhukovsky in rust_offtopic

непрозрачное значение записать в переменную нельзя

источник

11:49пожаловаться #16

p

polunin.ai in rust_offtopic

Возьми определение ссылочной прозрачности, примени к функции возвращающей IO - получишь, что она ссылочно прозрачна. (Если без всяких unsafePerformIO)

херня, функция все равно делает ио а оно по определению непрозрачно

источник

11:49пожаловаться #17

p

polunin.ai in rust_offtopic

а то что кажется что она что-то возвращает это самообман

источник

11:50пожаловаться #18

DS

Doge Shibu in rust_offtopic

херня, функция все равно делает ио а оно по определению непрозрачно

Ты можешь взять и воспользоваться определнием?

источник

11:50пожаловаться #19

DS

Doge Shibu in rust_offtopic

Тупо формально посмотреть удовлетворяет ли ему функция возвращающая IO

источник

11:50пожаловаться #20