[Question 1. 100 points] In class, we have shown you a program which mimics transactions done on a bank account. We will now develop an extended version of this example. For this we have rst de ned a data-type for transactions:
type transaction = Withdraw of int | Deposit of int | CheckBalance | ChangePassword of string | Close
We have added two new transactions to the example done in class.
In class, we de ned a function make-account which generates a bank account when given an opening balance.
In this exercise, you are asked to modify this code and generate a password-protected bank account. Any transaction on the bank account should only be possible, if one provides the right password. For this, implement the function makeProtectedAccount with the argu-ments and types shown below.
val makeProtectedAccount : int * string -> string * transaction -> unit = <fun>
This function takes in the opening balance as a rst argument and the password as a second, and will return a function which when given the correct password and a transaction will perform the transaction. One crucial di erence to be noted right away is that in the new code I want you to print the balance on the screen instead of returning it as a value.
Here are some examples.
• let zoe = makeProtectedAccount(1000, "BiologyRocks");; val zoe : string * transaction -> unit = <fun>
• let elisa = makeProtectedAccount(500, "ArtsStudentsArePoor");; val elisa : string * transaction -> unit = <fun>
• let alison = makeProtectedAccount(2500, "MathIsTheBest");;
val alison : string * transaction -> unit = <fun>
• elisa("ArtsStudentsArePoor", Withdraw 100);; The new balance is: 400.- : unit = ()
• alison("MathIsTheBest", Deposit 200);;
1
The new balance is: 2700.- : unit = ()
• zoe("BiologyRocks", CheckBalance);; The balance is: 1000.- : unit = ()
• zoe("BiologySucks", Withdraw 100);; Incorrect password.- : unit = ()
• zoe("BiologyRocks", Withdraw 1500);; Insufficient funds.- : unit = ()
• elisa("ArtsStudentsArePoor", ChangePassword "CSwillMakeMeRich");; Password changed.- : unit = ()
• elisa("ArtsStudentsArePoor", Deposit 100);;
Incorrect password.- : unit = ()
• elisa("CSwillMakeMeRich", Deposit 200);; The new balance is: 600.- : unit = ()
• alison("MathIsTheBest", Close);; Account successfully closed.- : unit = ()
• alison("MathIsTheBest", CheckBalance);; Account closed.- : unit = ()
2
