
10 Sep
2001
10 Sep
'01
4:21 p.m.
All right, I know this is a stupid question. I know the models of evaluation in call by name and call by value languages; however, I am kind of puzzled by trying to reproduce call by name in a call by value language using force and delay. If I put a delay around the right side of each equation and around each expression in a function call (*all* function calls?), and a force call around each variable reference, would that get me call by name semantics? Am I completely screwed up here? Is something more necessary? I'm trying to get the gumption up to try a proof by substitution of this idea, but I cringe at the formula manipulation....... Dave Barton <*> dlb@averstar.com )0( http://www.averstar.com/~dlb