[e-lang] Surprising consequences of pipelining?

[David Hopwood]

David Hopwood wrote:
> A surprise could only occur:
>  - if 'guard' were audited to be functional -- but we can't know that it
>    is without trusting thing's vat, so that is not an issue.
>  - if we compare the reference 'guard' to another reference locally:
> 
>    def trusted := ...
>    def coerced := (def guard := thing <- __getAllegedType()) <- 
> coerce(thing)
>    if (guard == trusted) {
>        // assume thing passes trusted
>    }
> 
> IOW, the issue you've pointed out is a consequence of pipelining + EQ, not
> pipelining alone. I'll have to think about whether it is actually a 
> problem, and your suggested solutions.

Correction: it is a consequence of pipelining + (either EQ or rights
amplification). For example, it would also be surprising if 'guard'
had a known brand.

-- 
David Hopwood <david.nospam.hopwood at blueyonder.co.uk>