P
Да, ты один попался умный в оффтопике, создателя хаскелля просто дауны и ничего не понимают
создатели хаскеля просто "о, придумал такую вот хуйню, надо на чём-то протестить" и законтрибьютил её как фичу
Size: a a a
2020 March 05
p
Да, ты один попался умный в оффтопике, создателя хаскелля просто дауны и ничего не понимают
возможно. мнение большинства часто ошибочно.
p
тут об этом не раз говорили
G
Хз как доги не повесился ещё
G
Я спать
P
Ради более легкого рефакторинга, изменения кода, чтения
каким образом перенос исполнения System.out.println с приложения наружу меняет сам код?
λ
fn interpretator(some: IO) {
io.execute();
}
fn main() {
let some = interpreter(IO::new());
}
main() грязная или чистая? при условии что io.execute() грязная
io.execute();
}
fn main() {
let some = interpreter(IO::new());
}
main() грязная или чистая? при условии что io.execute() грязная
Грязная
p
Грязная
не вижу разницы между этой программой и тем что кинул доге, сори
P
"ссылочная прозрачность" is the new shiny thing
λ
или внешний мир грязный, интерпретатор грязный, а где-то посередине ио чудесным образом становится чистым?)
Ты в программе с IO монадой не можешь наблюдать нечистоту
DS
ну тогда если что делает рантайм не важно, то print(1) - чистая функция
ведб неважно что рантайм делает
ведб неважно что рантайм делает
Смотри есть функции:
def get_counter() -> int:
...
def set_counter(a: int):
...
# есть моя программа:
a = get_counter()
set_counter(a + 1)
b = get_counter()
#я думаю отрефакторить, хочу убрать повторяющийся код:
counter = get_counter()
a = counter
set_counter(a + 1)
b = counter
# получаю фигню очевидным образом
# теперь если я использую IO
def get_counter() -> IO[int]:
...
def set_counter(a: int) -> IO[()]:
...
#есть моя программа:
monadic_do:
a <- get_counter()
set_counter(a + 1)
b <- get_counter()
#рефакторю, получаю то же поведение, что и раньше:
monadic_do:
counter = get_counter()
a <- counter
set_counter(a + 1)
b <- counter
p
Ты в программе с IO монадой не можешь наблюдать нечистоту
да-да, я уже понял как вы подменяете понятия
p
то чистое, это нет
P
Ты в программе с IO монадой не можешь наблюдать нечистоту
тоесть если программа завёрнута в ио, то она может использовать только подмножество языка?
DS
да-да, я уже понял как вы подменяете понятия
Посмотри мой пример выше, тут чуть нагляднее будет разница между ссылочно прозрачным кодом и не ссылочно прозрачным.
DS
Там такой, условный питон
λ
да-да, я уже понял как вы подменяете понятия
Неуч, если ты не знаешь что означают те или иные понятия, то никто их не может для тебя подменить
DS
Только с monadic_do, который дергает метод bind в каждой строчке у предыдущего значения.
DS
Неуч, если ты не знаешь что означают те или иные понятия, то никто их не может для тебя подменить
Так зачем бросаться эпитетами, тема сложная, примеры для неё сложно подобрать, так что понятно, что у людей возникают вопросы.
p
Смотри есть функции:
def get_counter() -> int:
...
def set_counter(a: int):
...
# есть моя программа:
a = get_counter()
set_counter(a + 1)
b = get_counter()
#я думаю отрефакторить, хочу убрать повторяющийся код:
counter = get_counter()
a = counter
set_counter(a + 1)
b = counter
# получаю фигню очевидным образом
# теперь если я использую IO
def get_counter() -> IO[int]:
...
def set_counter(a: int) -> IO[()]:
...
#есть моя программа:
monadic_do:
a <- get_counter()
set_counter(a + 1)
b <- get_counter()
#рефакторю, получаю то же поведение, что и раньше:
monadic_do:
counter = get_counter()
a <- counter
set_counter(a + 1)
b <- counter
после рефакторинга вышло больше код чем до этого
ну и разницы я не вижу все равно
ну и разницы я не вижу все равно