[Swift-devel] Functionality request: best effort execution

Ian Foster foster at anl.gov
Tue Jul 28 11:09:01 CDT 2009


I agree that this sort of thing would be of great value for some  
applications.

Note that this would make provenance recording more interesting and  
important! (As you need to record what happened, not just the input  
arguments.)

Ian.


On Jul 14, 2009, at 2:09 AM, Ben Clifford wrote:

>
> One way of putting in ambiguity here is something like the AMB(iguous)
> operator, which looks very similar to Karajan's race behaviour.
>
>   a AMB b evaluates to either a or b but its not defined which and  
> so the
>     runtime can pick which.
>
> That has no particular preference for a result, though in Tibi's use  
> case
> one of the results is probably preferred.
>
> You could change the semantics so that it returns a unless a fails in
> which case it evaluates and returns b, unless b fails in which case  
> the
> expression fails to evaluate.
>
> Both of the above descriptions can be extended to more than two  
> operands
> in a natural way.
>
> -- 
>
> _______________________________________________
> Swift-devel mailing list
> Swift-devel at ci.uchicago.edu
> http://mail.ci.uchicago.edu/mailman/listinfo/swift-devel




More information about the Swift-devel mailing list