A modern programming language that makes developers happier.

kotlinlang

I have published a Reference Guide for Arrow-fx 0.10 to get you started! It covers everything from the basics of wrapping suspend functions and parallelism, to advanced use cases like safe resource management and program structure :memo:

<https://twitter.com/pacoworks/status/1206507788043718657>

I tried subscribing your blog. But I am getting some rss error. 

hmmm ghost, my blog provider, is responsible for that

Clicking on the subscribe button opens up a big XML file 

you have to link that to a rss feeder service

<@U0B8UEMV1> Thank a lot on this guideline. The example usage of each datatype and typeclass are really good.

sure, I'd suggest opening a new thread for them

Great post Paco...  In addition to  the `bind()` extension function you could also mention the use of the `!` shortcut  :thinking_face:

for 1.0 is becoming `val a by IO`, so it's better if we start suggesting `.bind()` for now

`!` and destructure had collisions when used with boolean or data classes

Not only with boolean or data classes ! When, i wrote my gist about Free, i found a collision in a recursive call !
I will update my gist with your recommandation...

```val eitherMonad = Either.monad&lt;String&gt;()
fun stackSafeEitherProgram(n: Int, acc: Int = 1) : Free&lt;EitherPartialOf&lt;String&gt;, Int&gt;  =
    eitherMonad.fx.stackSafe {
        val r = when {
            n == 1 -&gt; !Right(acc)
            n &gt; 1 -&gt; stackSafeEitherProgram(n-1, acc * n).bind()
            else -&gt; !Left("Invalid number!")
        }
        r
    }```

<@U0B8UEMV1> Great article! Am I Right that there should be `effect { renderPage(userPage) }.bind()` instead of `effect { renderPage(user) }.bind()` in one of the snippets?

<@U0B8UEMV1> Thanks a lot for that great tutorial!
Two things though regarding the cancellation via `Promise`  to mimick lifecycle callbacks:
• There is a typo `val endPromise: Promise&lt;ForIo, Unit&gt;`  - should be `ForIO` as first type param
• Exactly this line does not compile - complaining about failing type inference for `A`