Assignment 5

Calculations

In this assignment you will continue using the GitHub features we have seen so far, and work on a sort of “calculator”.

As before, you should NOT specify the types of your functions, but rather let the system figure it all out. This may make the resulting types appear different than what is required, you should make sure that they are indeed the same and that the only difference is because of type aliases.

As in prior assignments, you should not use any functions we have not learned about. These assignments are not about learning a number of library functions, but about delving deeply into fundamental building blocks of programming.

Correctness of the solutions, including the types and whether the code loads, will count for 15 points. Your code MUST load with no errors and have the correct types. Otherwise you will receive 0 for correctness even if most of your functions are correct.

Another 5 points will come from style issues, your tests and use of GitHub, including Milestones and Labels, issues and closing those issues via commits. Keep creating issues for the various parts of the assignment. assigining them to milestones and tagging them with labels. Create new milestones for each assignment.

  1. You already have created a link to the instructor’s remote repository. You need to download the updated version of the instructor’s repository and merge the changes into yours. The following should do that:
  2. Create a new milestone for this assignment.
  3. Throughout your work, create and close issues via commits as described in the instructions above and in previous homeworks. Make sure to assign each issues to the correct milestone and to give them the correct labels.
  4. You will find two files in this directory:
  5. To “run” your tests, start an OCAML session in the terminal via utop, do:
#use "assignment5sub.ml";;
#use "assignment5tests.ml";;