История изменений
Исправление quasimoto, (текущая версия) :
У тебя, видимо, есть список как-то каталогизированный?
Нету.
Насчёт CoIO — язык IO описывается с помощью teletype functor, IO a это Free Typletype a, free monad, выполнение осуществляется с помощью foldFree (с помощью runAlgebra :: Teletype (ModelMachineTranslation a) -> ModelMachineTranslation a). Если обратить, cofree comonad, unfoldCofree, так что coexec :: (?) -> CoIO a вместо IO a -> ModelMachineTranslation a, corun :: (?) -> CoIO a?.. wut? :)
Исправление quasimoto, :
У тебя, видимо, есть список как-то каталогизированный?
Нету.
Насчёт CoIO — язык IO описывается с помощью teletype functor, IO a это Free Typletype a, free monad, выполнение осуществляется с помощью foldFree (с помощью runAlgebra :: Teletype (ModelMachine a) -> ModelMachine a). Если обратить, cofree comonad, unfoldCofree, так что coexec :: (?) -> CoIO a вместо IO a -> ModelMachine a, corun :: (?) -> CoIO a?.. wut? :)
Исходная версия quasimoto, :
У тебя, видимо, есть список как-то каталогизированный?
Нету.
Насчёт CoIO — язык IO описывается с помощью teletype functor, IO a это Free Typletype a, free monad, выполнение осуществляется с помощью foldFree (с помощью runAlgebra :: Teletype (SomeRealWorldST a) -> SomeRealWorldST a). Если обратить, cofree comonad, unfoldCofree, так что coexec :: ... -> CoIO a вместо IO a -> ..., corun :: a -> CoIO a?.. wut? :)