<!DOCTYPE html><html><head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

  </head>

  <body>

    <br>

    <br>

    <div class="moz-cite-prefix">On 19/12/2025 07:16, Remi Forax wrote:<br>

    </div>

    <blockquote type="cite" cite="mid:1824474924.1635903.1766128560297.JavaMail.zimbra@univ-eiffel.fr">

      <pre wrap="" class="moz-quote-pre">For me you can not really use ADTs as return value of the subtasks

because the default joiners do not have a way to define what is a success and what is a failure.

So you can use ADTs internally but at some point, if a variant represent a failure, you have to convert it to an exception.

</pre>

    </blockquote>

    My comment was about the modelling the outcome of the scope, meaning

    the return from join, rather the of subtasks. If we go back through

    the archives then I think some people were already experimenting on

    this.<br>

    <br>

    -Alan<br>

  </body>

</html>