14.11.2012 Views

Curry: An Integrated Functional Logic Language

Curry: An Integrated Functional Logic Language

Curry: An Integrated Functional Logic Language

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

We start the account and client process with an initial amount of 100:<br />

make_account s & client (sendMsg (Deposit 100) s)<br />

A <strong>Curry</strong> system evaluates this goal by a concurrent evaluation of both processes and computes the<br />

final answer<br />

{s=[Deposit 100, Balance 100, Withdraw 30, Balance 70, Withdraw 30,<br />

Balance 40, Deposit 70, Balance 110, Withdraw 30, Balance 80,<br />

Withdraw 30, Balance 50]}<br />

which shows the different messages sent to the account process.<br />

45

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!