Про IO и коиндукцию.

[nivanych]

Как вы думаете, делать в неком (абстрактном) языке
всяческое IO, как экземпляр терминальной коалгебры
с очень таким странным "состоянием", это очень плохо?

Comments

[dmzlj]

Пару раз перечитал. Возникла мысль, примерно такого вида:

ЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫЫыыыыыыыыыыыыыыыы

[nivanych]

Это чо, значит, очень плохо? ;-)
Если надо, я могу уточнить.

[dmzlj]

Лучше не надо. Многие знания --- многие печали. Я лучше пока continuation-based IO осознаю.

[nivanych]

Ну да. Лучше спишь, и всётакое ;-)

[deni_ok]

Не вижу, почему плохо. Всякие (потенциально бесконечные) streams как раз хорошо ложатся на. Но язык, боюсь, вызовет лёгкое неприятие у ширнармасс ;-)

[nivanych]

Потенциально, одно нехорошее место,
это возможность использования IO-потока
в какой угодно функции, в то время,
как нечто, завёрнутое в монаду,
откуда угодно не попользуешь.

[ex_juan_gan]

А вот нехило было бы какой-нибудь writeup на эту тему накатать. Я лично теорию-то как бы знаю, нарисовать формулы могу, но совершенно не ощущаю терминальных коалгебр почему-то. Хотя казалось бы, сопряженность же; где монада, там и комонада, ну и т.д.

[nivanych]

После этих слов у меня уже просто никакого
выбора не остаётся, кроме как написать ;-)

[wizzard0]

угу. было бы полезно.

[beroal]

Элемент носителя коалгебры можно копировать. То есть с помощью коалгебры можно описать автомат, но работать с внешним автоматом (то есть внешним миром) как с автоматом нельзя. И у коалгебры количество алгебраических операций фиксировано, а функции, работающие с IO в Haskell, можно добавлять.

Или ты имел в виду, что внешний мир будет работать с твоей программой как с автоматом?

[nivanych]

Элемент носителя _терминальной_ коалгебры

[beroal]

Тут явно какое-то непонимание, так что надо определиться с терминами. Терминальная коалгебра строится по коалгебраической теории. Ещё есть коалгебраическая структура. Терминальная коалгебра является коалгебраической структурой. Что такое «экземпляр терминальной коалгебры» я вообще не понимаю. Терминальные коалгебры, будучи терминальными объектами, изоморфны. Под «состоянием» ты подразумеваешь элемент носителя коалгебры (я - да)?

Ну и доказательство того, что элементы носителя коалгебры нельзя копировать, остаётся под вопросом. Если носитель коалгебры соответствует типу в функциональном языке, то копировать значение этого типа можно.

[nivanych]

Я имел ввиду конкретно корекурсию, то есть