I need to do that when I send code, that would make it easier for people to try it

Same service concrete to IO:

IO_concrete_impl.kt

also it shows how the program is a value

so fix gives me an observable right?

fix

downcast the kinded poly version to the concrete data type supporting IO, Observable, Flux or whatever

in practice you don't wrap everything with IO

like in your code there because if other functions return IO then you just call

bind()

when you want to get the left hand side bound value that is inside IO

in your case if it was all over IO all your functions or most of them would return

IO

Similar style of programming as people are used to with Rx2, the difference is that

bind()

runs in a suspended coroutine so we can provide for comprehensions and do notation imperative style syntax for all monad capable data types

why is it called unsafeRunSync?

when you have a value the program hasn't run yet

you run it by invoking that function at the edge of the world

the unsafe prefix denotes effects will be executed

if your program say contains

nukeTheWorld()

that may happen but only when that function is invoked at the edge

there is versions for async, cancelable, timed etc in those runners

so I could have an hypothetical {nukeTheWorld() ; <stuff> ; somethingThatCancelNukes()}.unsafeRunSync()

yeah

also you have in Arrow Effects

Bracket

which @simon.vergauwen and @Jorge Castillo worked on and is a version of try/catch/finally that works in async and concurrent cancelable contexts as well

in the end, all of that is just to make sure the maximum things run without being blocked by anything else?

(nor having weird effects by things that would modify something they depend on)

that is a nice feature of it which is unlockled by ensuring all the functions in the program are referentially transparent

You are able to reason about your code with guarantees

the reddit links in the arrow channel about that thread I posted earlier mention go deep in comparing IO with no IO basically and the pros and cons

Thanks for the help, I will need some time to process all of that.

no problem, if you have any question we are here to help

@raulraja getting back at that value

I'm not sure I am ready to move the whole project to FP

is that safe for me to use that unsafeRunAsync for now?