Discussion : Explicit branch prediction for conditional operation in Async code

[Xyncgas]

If you are executing async operations that has a dependency of the previous operation's result, making these operation run regardless of dependency in parallel, can be making for example network requests a higher throughput.

Whether the branch prediction is doable is up to the developers, maybe an operation actually do have to run after another one because the side affects it cause on the server, so be as smart as the shepherd.

At fsharp community where we talk about a programming language, the discussion is allowed that, for people to quickly define an Async routine with branch prediction and write codes close to the way we are writing and have these be running in parallel.

For example in the code :

let inline BRAsync n validator =
    async{
        let mutable Pos = GenericZero
        if n = GenericZero then return Pos <- GenericZero
        else
            let mutable L = n /GenericTwo()
            let mutable R = n - L
            let mutable N = GenericZero
            let mutable looping = true
            let exitwhile rval =
                looping <- false
                Pos <- rval
            while looping do
                let! res = validator L
                if res then
                    if R = GenericOne then exitwhile (L+GenericOne)
                    N <- L
                    let Δ = R / GenericTwo()
                    L <- L + Δ
                    R <- R - Δ
                else
                    if L = GenericZero then exitwhile GenericZero
                    elif R = GenericOne then exitwhile L
                    else
                        let Δ = N + ((L - N) / GenericTwo())
                        R <- L - Δ
                        L <- Δ
        return Pos
    }

A binary reduction happens depending on validator(current position)

If we can write code similar to the way it looks currently while running the validator 2 more times on the assumptions of both of its possible result (true/false) that would be power to fsharp

[Xyncgas]

You are welcomed for voicing your ideas