Re: Ravenscar and run-time program parameters

["Jeffrey R. Carter" <spam.jrcarter.not@acm.nospam.org>]

Colin Paul Gloster wrote:
> 
> Why would you be more confident that one is good under some
> circumstances (simply using RavenSPARK) but be more confident that the
> other is good under other circumstances (simply not using RAVENSCAR)?

I guess I wasn't clear. I was referring to whether or not I'm going to 
invest in the analyses that Ravenscar is intended for. If I do that, 
especially using RavenSPARK, which does additional analyses, then I can 
be confident despite the added complexity. But if I don't consider the 
code worth that extra effort, then I find I'm more likely to be 
confident in the simpler code.

-- 
Jeff Carter
"Propose to an Englishman any principle, or any instrument, however
admirable, and you will observe that the whole effort of the English
mind is directed to find a difficulty, a defect, or an impossibility
in it. If you speak to him of a machine for peeling a potato, he will
pronounce it impossible: if you peel a potato with it before his eyes,
he will declare it useless, because it will not slice a pineapple."
Charles Babbage
92