JS
unsafePerformIO :: IO a -> aну и unsafe — это неудобная деталь реализации, а не основа языка, в отличие от грязных языков, где, как вы сами только писали, наоборот, чистый код писать неудобно
Size: a a a
2021 March 25
t
ну и unsafe — это неудобная деталь реализации, а не основа языка, в отличие от грязных языков, где, как вы сами только писали, наоборот, чистый код писать неудобно
что поделать. для целей понимания того, как внутри устроен IO, сгодится и грязный язык.
JS
"интерпретатор" в значении "интерпретатор фримонады", а не "интерпретатор байткода"
там нет фримонады. а интерпретатор IO в широком смысле — это процессор, а не сишечка
t
там нет фримонады. а интерпретатор IO в широком смысле — это процессор, а не сишечка
в широком смысле интерпретатор IO - сама вселенная и ее физика.
t
но расширять это можно сколько угодно далеко
[
Давай, расширь дальше
к
заметил (и он меня блочит) интересный баг в юниплейте
https://gist.github.com/kana-sama/08e5e950c10a1031b954c055acf8c11b
universeBi выдает пустой список
но если убрать [] из Expr, то будет правильный результат
https://gist.github.com/kana-sama/08e5e950c10a1031b954c055acf8c11b
universeBi выдает пустой список
но если убрать [] из Expr, то будет правильный результат
AA
на самом хаскеле нельзя реализовать IO без использования FFI
можно, почему нельзя-то?
t
Давай, расширь дальше
многомировая интерпретация врывается в этот тред
AA
есть все праймопы для этого
t
можно, почему нельзя-то?
используя штуки из GHC.Prim?
[
многомировая интерпретация врывается в этот тред
У нас тотальный функциональный мир. Сначала докажи существование других миров🌚
JS
именно. в образовательных целях. с целью демистификации IO хаскельного
кстати, не только. во Скале ZIO существует для применения всяких трансформеров, а не только для обучения, как я понимаю
AA
используя штуки из GHC.Prim?
ну да
t
У нас тотальный функциональный мир. Сначала докажи существование других миров🌚
сначала докажи тотальность и функциональность мира
[
сначала докажи тотальность и функциональность мира
Переиграл
MK
Переиграл
уничтожил
t
ну да
ну и чем это будет отличаться от дерганья рантайма через FFI? перефразируя, ваше утверждение можно сформулировать как "реализовать IO в хаскелле можно, взяв реализацию IO из хаскелля"
t
т.е. да, очень точно, но так же бесполезно, как ответ "вы находитесь на воздушном шаре"
AA
но там не берется "реализация ио" там другие примитивы