DS
Size: a a a
2020 May 15
p
Так ты же говорил, что IO () и () - это одно и то же
да)
NL
А то, что вычисление и выполнение в хаскеле это не одно и то же.
DS
да)
Значит () и IO () - это разные вещи, ЧТД
p
А то, что вычисление и выполнение в хаскеле это не одно и то же.
еще хуже, исполняется совершенно другой код)
NL
еще хуже, исполняется совершенно другой код)
Ну кто-то должен сходить в консоль, это делант хаскельный рантайм.
p
Значит () и IO () - это разные вещи, ЧТД
ок, putStrLn возвращает функцию которая вызывает функцию которая печатает текст) но сути не изменяет, просто еще одна функция добавляется)
r
ок, putStrLn возвращает функцию которая вызывает функцию которая печатает текст) но сути не изменяет, просто еще одна функция добавляется)
Возвращает значение типа IO (), с которым bind для IO может что-то сделать.
p
red75prime
Возвращает значение типа IO (), с которым bind для IO может что-то сделать.
DS
ок, putStrLn возвращает функцию которая вызывает функцию которая печатает текст) но сути не изменяет, просто еще одна функция добавляется)
Ну это, собственно, всё и меняет.
В хаскеле ты никогда не опепируешь напрямую с действимяи с внешним миром и побочными эффектами, ты абсолютно чистым образом собираешь из кусков программу на eDSL (наше IO), которая когда-то потом и непойми кем будет выполнена.
В хаскеле ты никогда не опепируешь напрямую с действимяи с внешним миром и побочными эффектами, ты абсолютно чистым образом собираешь из кусков программу на eDSL (наше IO), которая когда-то потом и непойми кем будет выполнена.
G
это самообман
p
кек
p
геймдев процветает)
NL
Это Матрица!1
p
Ну это, собственно, всё и меняет.
В хаскеле ты никогда не опепируешь напрямую с действимяи с внешним миром и побочными эффектами, ты абсолютно чистым образом собираешь из кусков программу на eDSL (наше IO), которая когда-то потом и непойми кем будет выполнена.
В хаскеле ты никогда не опепируешь напрямую с действимяи с внешним миром и побочными эффектами, ты абсолютно чистым образом собираешь из кусков программу на eDSL (наше IO), которая когда-то потом и непойми кем будет выполнена.
да-да, и ИО чистое, и в базу мы не ходим а кто-то другой ходит. проходили.
r
Это не обязательно функция. Просто какое-то неспецифицированное внутреннее представление.
DS
да-да, и ИО чистое, и в базу мы не ходим а кто-то другой ходит. проходили.
Да.
G
да-да, и ИО чистое, и в базу мы не ходим а кто-то другой ходит. проходили.
Да
G
рантайм хускиля вычисляет бог-монаду которая вышла из мейн
G
а мы показываем как ее вычислить