Miou is still in a state where we can afford to ‘break’ the API abruptly. The term call_cc seems not to be appreciated for good reasons (referring to notions that have nothing to do with what the function wants to offer) and the term async seems closer to what we want to offer.
From my point of view, it's a bit of shame that the latter can refer to Lwt.async, which is contrary to what we want to propose with Miou - but that's life...
In that respect, this PR is above all a proposal where we can share an opinion on the term we should use to launch concurrent tasks. This debate will take place in two stages:
1 week to collect other possible solutions
1 week to vote
Of course, if nobody speaks up, the choice will be made to use Miou.async.
Miou is still in a state where we can afford to ‘break’ the API abruptly. The term
call_cc
seems not to be appreciated for good reasons (referring to notions that have nothing to do with what the function wants to offer) and the termasync
seems closer to what we want to offer.From my point of view, it's a bit of shame that the latter can refer to
Lwt.async
, which is contrary to what we want to propose with Miou - but that's life...In that respect, this PR is above all a proposal where we can share an opinion on the term we should use to launch concurrent tasks. This debate will take place in two stages:
Of course, if nobody speaks up, the choice will be made to use
Miou.async
./cc @Armael /cc @kit-ty-kate /cc @hannesm & @reynir