[m-users.] Adding impurity to Mercury code: Backtracking in IO states
tomas at basun.net
Mon Jun 29 04:34:35 AEST 2015
On Sun, June 28, 2015 19:15, Left Right wrote:
> @Tomas, is "unique" similar to Prolog's atom(X) when it's used to
> format a string
I don't think so.
It is somewhat similar to `difference lists' in that you have a pair of
them, there is an implied sequence of values, but you only use one value
at any particular point in time.
More information about the users