ND
Ну так результат не изменится
IO () вернетсяSize: a a a
2020 June 14
ND
Там всегда
AK
А зачем тогда делать IO
AK
Куда девается результат чтения?
PH
Ребят, подскажите пожалуйста.
установил андройд студию, вс код > с вс кода запускаю эмулятор, он его как бы эмулирует, запускает, девайс отображает, а вот далее пишет ошибку конекта девайса within 60sec.
как поправить?
и пишет (flutter doctor) не установлен андройд студио, а он установлен в той же папке где и все проги и флатер сдк
установил андройд студию, вс код > с вс кода запускаю эмулятор, он его как бы эмулирует, запускает, девайс отображает, а вот далее пишет ошибку конекта девайса within 60sec.
как поправить?
и пишет (flutter doctor) не установлен андройд студио, а он установлен в той же папке где и все проги и флатер сдк
НА
На практике, видимо, да. Но чисто теоретически внутри чистой функции могут быть побочные эффекты, главное, чтобы они не были видны снаружи. К примеру (на псевдо-коде):
def inc(a: Int): Int = {
try { run_process("curl --timeout 1sec http://yandex.ru"); } catch (e) { /* doing nothing */ }
return a + 1
}AK
Николай Артамонов
На практике, видимо, да. Но чисто теоретически внутри чистой функции могут быть побочные эффекты, главное, чтобы они не были видны снаружи. К примеру (на псевдо-коде):
def inc(a: Int): Int = {
try { run_process("curl --timeout 1sec http://yandex.ru"); } catch (e) { /* doing nothing */ }
return a + 1
}Ну так это сайд эффект же
AK
Ты что то там где то там меняешь
НА
Ну так это сайд эффект же
Он строго локальный.
AK
Строго локальный с походом в терминал?
НА
Ты что то там где то там меняешь
Да, я меняю какие-то счетчики tcp/ip внутри ядра, к примеру. Но если на дальнейшие вычисления твоей программы эти мутации никак не влияют и ты можешь это обосновать, то этот сайд-эффект можно считать локальным, а саму функцию - чистой.
НА
Строго локальный с походом в терминал?
Согласен, терминал надо отключить curl ... > /dev/null >&2
ND
Вообще конкретно с
IO () пустое множество вернетсяND
Если к тебя
IO String то там эксепшн кидаетсяND
Такое себе пьюрити конечно, но сайд эфект сам по себе не выполнится
НА
Все монадические вычисления в контексте IO-монад, по-определению, чистые 😊
АЗ
Всем привет, как обновлять уже установленные apk файлы? куда гуглить? Если приложением пользуется узкий круг людей и его не публикуешь в магазине? да даж е с публикацией, никак не могу нагуглить годной инфы.
ND
Если рассматривать это просто как функцию которая возвращает
IO String без выполнения сайд эффекта, то вполне себе чистая функцияSM
Я просто спросил про чистую функцию, а вы уже про Хаскелл и монады спорите 😂
DO
Всем привет, как обновлять уже установленные apk файлы? куда гуглить? Если приложением пользуется узкий круг людей и его не публикуешь в магазине? да даж е с публикацией, никак не могу нагуглить годной инфы.
Ну если вкратце, то устанавливаешь обновленную апк, с увеличенной версией :)
Если опубликуешь в магазин, то он будет за тебя скачивать и устанавливать. Без опубликации это уже твоя забота проверить обновления, скачать и попросить систему установить
Если опубликуешь в магазин, то он будет за тебя скачивать и устанавливать. Без опубликации это уже твоя забота проверить обновления, скачать и попросить систему установить