[Haskell-cafe] One-shot? (was: Global variables and stuff)

Keith Wansbrough Keith.Wansbrough at cl.cam.ac.uk
Fri Nov 12 05:03:53 EST 2004

> So you say (and I do agree).  But how can I *observe* that they are the same?

Well, not with a single program run (obviously).  But it is the case
that for any program P and input sequence X (i.e., keys

running P with X


running {foo = getChar; P'} with X  (where P' is P with all
occurrences of getChar replaced by foo)

will behave identically.

--KW 8-)

More information about the Haskell-Cafe mailing list