t
не вижу никакого "явного" представления эффектов. сигнатура как сигнатура
Size: a a a
2021 March 25
t
то есть вы имели в виду, что можно в грязном языке сделать чистое неудобное IO?
именно. в образовательных целях. с целью демистификации IO хаскельного
JS
unsafeкхекхеPerformпукIO
ну вот, явно же
t
явность из "unsafe" следует?
JS
явность из "unsafe" следует?
нет, из типа, который вы не привели
t
unsafePerformIO :: IO a -> at
чистая функция по виду
t
как какой-нибудь runState
JS
чистая функция по виду
именно
t
никакого упоминания эффектов
[
unsafeкхекхеPerformпукIO
Перед тем, как использовать ансейв для создания сайд эффектов в хаскеле, надо прожать галочку "мне есть 18" и получить справку у психиатора.
(Надпись на табличке: "Утрирую")
(Надпись на табличке: "Утрирую")
t
именно
ваш юмор слишком тонок для моего плебейского разумения. я обычная императивная макака
JS
никакого упоминания эффектов
вы пишете слово IO и говорите, что вы не написали слово IO?
JS
вы не можете написать print 1 + print 2 в Хаскеле, в этом чистота и явность
t
вы пишете слово IO и говорите, что вы не написали слово IO?
я пишу слово IO и говорю, что сам по себе IO не волшебен. то, что у IO интерпретатор реализован на условной сишке, а не на красивом чистом хаскелле, не делает IO более волшебной, чем любую другую заурядную монаду
[
А, я понял. Чтоб засунуть io в ансейв, нужно этот io до ансейва дотащить
JS
я пишу слово IO и говорю, что сам по себе IO не волшебен. то, что у IO интерпретатор реализован на условной сишке, а не на красивом чистом хаскелле, не делает IO более волшебной, чем любую другую заурядную монаду
там компилятор в машинный код, а не интерпретатор
t
"интерпретатор" в значении "интерпретатор фримонады", а не "интерпретатор байткода"
t
я догадывался, что хаскель компилируемый ¯\_(ツ)_/¯
[
Ну, его можно и интерпретировать