On 20 Aug 2008, at 6:30 am, David Mercer wrote:
> For those of us not well-versed in NU Prolog, what is the benefit of
[-pure]
> this?
This was implicit in the original context:
"Haskell can do heavy duty optimisation that Erlang can't".
"Yes, but Haskell is pure, and Erlang isn't."
"Yes, but with functions declared to be -pure, Erlang
could do better than it does."