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

2020 June 23

AN

Как тебе Спейс, кстати?

Неплохо. Пока сырой. Отдельные части хуже аналогом (репы хуже гитхаба, чат хуже слака и так далее), но в сумме юзабельно.

источник

12:35пожаловаться #1

KD

Konstantin Dovnar in Programming Offtop

Лёша Лазарев

эх, тогда ждём
когда брал её, решил, что пока воткну более бюджетный проц второго поколения, потом перескачу сразу на 4-е
а вот про поддержку как-то не задумался)

По предварительной информации было известно, что 4е поколение будет на новом сокете, но может передумают.

источник

12:58пожаловаться #2

КР

Кирилл Романенко... in Programming Offtop

Господа фпшники, есть вопрос.
Я смотрел всякие докладики по фп и услышал одно утверждение, которое заставило меня задуматься: даже функция возвращает IO монаду - её всё равно можно считать чистой. Но почему? IO же явно говорит нам о том, что внутри происходит эффект, просто мы его обернули чтобы он был ленивым.
@happy_bracket @angmarr

источник

13:00пожаловаться #3

ЛЛ

Лёша Лазарев... in Programming Offtop

если что возьму XT версию третьего поколения, да на этом остановлюсь на ближайшие годы

источник

13:00пожаловаться #4

СГ

Сергей Греков... in Programming Offtop

Кирилл Романенко

Господа фпшники, есть вопрос.
Я смотрел всякие докладики по фп и услышал одно утверждение, которое заставило меня задуматься: даже функция возвращает IO монаду - её всё равно можно считать чистой. Но почему? IO же явно говорит нам о том, что внутри происходит эффект, просто мы его обернули чтобы он был ленивым.
@happy_bracket @angmarr

Ты правильно думаешь. А где ты это утверждение услышал?

источник

13:03пожаловаться #5

AG

Alexander Gorodok in Programming Offtop

Кирилл Романенко

Господа фпшники, есть вопрос.
Я смотрел всякие докладики по фп и услышал одно утверждение, которое заставило меня задуматься: даже функция возвращает IO монаду - её всё равно можно считать чистой. Но почему? IO же явно говорит нам о том, что внутри происходит эффект, просто мы его обернули чтобы он был ленивым.
@happy_bracket @angmarr

Можно попробовать подумать от противного. Допустим она так называемая не чистая. Что дальше? Дальше нельзя использовать не чистое, в идеале. В таком случае придётся самостоятельно написать невозможное чистое IO?

источник

13:03пожаловаться #6

КР

Кирилл Романенко... in Programming Offtop

Сергей Греков

Ты правильно думаешь. А где ты это утверждение услышал?

Когда смотрел доклад про фри монады vs таглесс финал.

источник

13:03пожаловаться #7

AK

Anton Korotkikh in Programming Offtop

Кирилл Романенко

Господа фпшники, есть вопрос.
Я смотрел всякие докладики по фп и услышал одно утверждение, которое заставило меня задуматься: даже функция возвращает IO монаду - её всё равно можно считать чистой. Но почему? IO же явно говорит нам о том, что внутри происходит эффект, просто мы его обернули чтобы он был ленивым.
@happy_bracket @angmarr

Может докладчик ошибся? Функция с IO не может быть чистой так как она не детерминированна.

источник

13:04пожаловаться #8

СГ

Сергей Греков... in Programming Offtop

Кирилл Романенко

Когда смотрел доклад про фри монады vs таглесс финал.

кинь ссылку плез

источник

13:04пожаловаться #9

КР

Кирилл Романенко... in Programming Offtop

Сергей Греков

кинь ссылку плез

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

источник

13:04пожаловаться #10

I

Igor in Programming Offtop

Кирилл Романенко

Господа фпшники, есть вопрос.
Я смотрел всякие докладики по фп и услышал одно утверждение, которое заставило меня задуматься: даже функция возвращает IO монаду - её всё равно можно считать чистой. Но почему? IO же явно говорит нам о том, что внутри происходит эффект, просто мы его обернули чтобы он был ленивым.
@happy_bracket @angmarr

> её всё равно можно считать чистой. Но почему?

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

источник

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

КР

Кирилл Романенко... in Programming Offtop

Igor

> её всё равно можно считать чистой. Но почему?

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

> формально да
Это ты про что именно?)

источник

13:05пожаловаться #12

AD

Aleksey D. in Programming Offtop

Кирилл Романенко

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

этот? https://www.youtube.com/watch?v=IhVdU4Xiz2U

YouTube

Free monad or tagless final? How not to commit to a monad too early - Adam Warski

Functional programming is on the rise; monads are everywhere. But how to choose the right wrapper for the values which we manipulate (i.e. monad)? Quite ofte...

источник

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

I

Igor in Programming Offtop

Igor

> её всё равно можно считать чистой. Но почему?

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

др вопрос, что если ты вызовишь ее из "настоящего" чистого кода,
тебе вернется просто "намерение ее исполнить" с которым ты ничего сделать не сможешь без рантайма (кроме композиции)

источник

13:06пожаловаться #14

КР

Кирилл Романенко... in Programming Offtop

Igor

др вопрос, что если ты вызовишь ее из "настоящего" чистого кода,
тебе вернется просто "намерение ее исполнить" с которым ты ничего сделать не сможешь без рантайма (кроме композиции)

Хм, ну да

источник

13:07пожаловаться #15

AD

Aleksey D. in Programming Offtop

Igor

др вопрос, что если ты вызовишь ее из "настоящего" чистого кода,
тебе вернется просто "намерение ее исполнить" с которым ты ничего сделать не сможешь без рантайма (кроме композиции)

а это не про то, что под IO можно подпихнуть вполне чистый фейк?

источник

13:07пожаловаться #16

КР

Кирилл Романенко... in Programming Offtop

Aleksey D.

этот? https://www.youtube.com/watch?v=IhVdU4Xiz2U

YouTube

Free monad or tagless final? How not to commit to a monad too early - Adam Warski

Functional programming is on the rise; monads are everywhere. But how to choose the right wrapper for the values which we manipulate (i.e. monad)? Quite ofte...

Вроде да. Только тут future а не io. Мб я сам перепутал. Но в моём понимании это плюс минус одно и то же.)

источник

13:07пожаловаться #17

I

Igor in Programming Offtop

Aleksey D.

а это не про то, что под IO можно подпихнуть вполне чистый фейк?

а что за "IO"?
- если хаскель IO модада - то нет, там одна реализация
- если мы про абстрактный input-output, то для этого и сделали free/tf - что бы "фейки подсовывать" (+ еще ряд плюшек)

источник

13:09пожаловаться #18

AD

Aleksey D. in Programming Offtop

Igor

а что за "IO"?
- если хаскель IO модада - то нет, там одна реализация
- если мы про абстрактный input-output, то для этого и сделали free/tf - что бы "фейки подсовывать" (+ еще ряд плюшек)

я по примеру Arrow имел ввиду просто тип, видимо как раз второй вариант

Λrrow

Functional companion to Kotlin's Standard Library

источник

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

I

Igor in Programming Offtop

Aleksey D.

я по примеру Arrow имел ввиду просто тип, видимо как раз второй вариант

Λrrow

Functional companion to Kotlin's Standard Library

Я не уверен, что в языках без "контроля эффектов" это имеет большой смысл
Ну реально, лучше уж dagger взять 🌚

источник

13:12пожаловаться #20