On 3/1/07, Neil Mitchell <ndm at cs.york.ac.uk> wrote: > The seperation of Lava and languages like Flash reminds me of the > Lava (pure) > functions can be called from Flash (impure) programs Lava is not pure, as it uses observable sharing and thus internal side effects.