(click your browser's refresh button to ensure that you have the most recent version)Note: See this for instructions on starting OCaml in the ACS lab machines. To download and install OCaml version 3.09.03 on your home machines see the instructions here. Remember that this is only to enable you to play with the assignment at home: the final version turned in must work on the ACS Linux machines. While you can use windows to begin working with OCaml, the code you turn in must be that required for the ACS Linux environment.
University rules on integrity of scholarship will be strictly enforced. By completing this assignment, you implicitly agree to abide by the UCSD Policy on Integrity of Scholarship described beginning on page 62 of the Academic Regulations section (PDF) of the 2002-2003 General Catalog, in particular, "all academic work will be done by the student to whom it is assigned, without unauthorized aid of any kind."
You are expected to do your own work on this assignment; there are no group projects in this course. You may (and are encouraged to) engage in general discussions with your classmates regarding the assignment, but specific details of a solution, including the solution itself, must always be your own work. Incidents that violate the University's rules on integrity of scholarship will be taken seriously: In addition to receiving a zero (0) on the assignment, students may also face other penalties, up to and including, expulsion from the University. Should you have any doubt about the moral and/or ethical implications of an activity associated with the completion of this assignment, please see the instructors.
Code for all programming assignments should be well documented. A working program with no comments will receive only partial credit. Documentation entails writing a description of each function/method, class/structure, as well as comments throughout the code to explain the program logic. Comments in OCaml are enclosed within (* *), and may be nested. It is understood that some of the exercises in this programming assignment require extremely little code and will not require extensive comments.
While few programming assignments pretend to mimic the "real" world, they may, nevertheless, contain some of the ambiguity that exists outside the classroom. If, for example, an assignment is amenable to differing interpretations, such that more than one algorithm may implement a correct solution to the assignment, it is incumbent upon the programmer to document not only the functionality of the algorithm (and more broadly his/her interpretation of the program requirements), but to articulate clearly the reasoning behind a particular choice of solution.
The overall objective of this assignment is to expose you to some
advanced features of OCaml such as higher-order functions, abstract datatypes
and modules, as well as to fully understand the notion of scoping, binding,
environments and closures, by implementing a mini-ML interpreter.
Again, no individual function requires more than 10-15 lines, so if you're
answer is longer, you can be sure that you need to rethink your solution.
The assignment is spread over two files
test.ml, that you need to download.
The first four files contain several skeleton OCaml functions, with missing
bodies, i.e. expressions, which currently contain the text
raise Failure "to be written" .
Your task is to replace the text in those files with the
the appropriate OCaml code for each of those expressions.
Note: All the solutions can be done using the purely functional fragment of OCaml, using constructs covered in class, and most require the use of recursion. Solutions using imperative features such as references or while loops will receive no credit.It is a good idea to start this assignment early as it is somewhat harder than the first assignment.
Your functions/programs must compile and/or run on a Linux ACS machine (e.g. ieng6.ucsd.edu , as this is where the verification of your solutions will occur. While you may develop your code on any system, ensure that your code runs as expected on an ACS machine prior to submission. You should test your code in the directories from which the zip files (see below) will be created, as this will approximate the environment used for grading the assignment.
Most of the points, except those for comments and style, will be awarded
automatically, by evaluating your functions against a given test suite.
The fourth file, test.ml contains a very small suite of tests which
gives you a flavor of of these tests. At any stage, by typing at the UNIX
you will get a report on how your code stacks up against the simple tests.
ocaml test.ml | grep "130>>" > log
The last line of the file log must contain the word "Compiled" otherwise you get a zero for the whole assignment. If for some problem, you cannot get the code to compile, leave it as is with the raise ..., with your partial solution enclosed below as a comment. There will be no exceptions to this rule. The second last line of the log file will contain your overall score, and the other lines will give you a readout for each test. You are encouraged to try to understand the code in test.ml, and subsequently devise your own tests and add them to test.ml, but you will not be graded on this.
Alternately, inside the OCaml shell, type (user input is in red):
and it should return a pair of integers, reflecting your score and the max possible score on the sample tests. If instead an error message appears, your code will receive a zero.
- #use "test.ml";;
- : int * int = (...,...)
Your solutions to this assignment will be stored in separate files under a directory called pa3_solution/, inside which you will place the file: misc.ml, . The first three files listed above are the versions of the corresponding supplied file that you will have modified. The last seven .jpg files are described below. There should be no other files in the directory.
After creating and populating the directory as described above, create a zip file called <LastName>_<FirstName>_pa3.zip by going into the directory solution and executing the UNIX shell command:
zip <LastName>_<FirstName>__pa3.zip *
Once you've created the zip file with your solutions, you will use the turnin program to submit this file for grading by going into the directory solution/ and executing the UNIX shell command:
turnin -c cs130f -p pa3 <LastName>_<FirstName>_pa3.zip
The turnin program will provide you with a confirmation of the submission process; make sure that the size of the file indicated by turnin matches the size of your tar file. See the ACS Web page on turnin for more information on the operation of the program.
Write an OCaml function clone : 'a -> int -> 'a list, where clone a n returns a list of n copies of a . If n is negative then the empty list should be returned. Note that this is a curried function. Once implemented you should get the following behavior at the OCaml prompt:
# clone 0 5;;
- : int list = [0;0;0;0;0]
# clone "mmmm" 3;;
- : int list = ["mmmm";"mmmm";"mmmm"]
Now, fill in the skeleton to get an OCaml function sepConcat : string * string list -> string that takes a pair (sep,[s1;s2;...;sn]) and returns the string s1^sep^s2^sep^...^sep^sn . Your task is to fill in the appropriate values for the folding function, the base case and the list of arguments. Once you have implemented the function, you should get the following behavior at the OCaml prompt:
# sepConcat (",",["good";"better";"best"]);;
- : = "good,better,best"
# sepConcat (",",);;
- : string = ""
Next fill in the body of the OCaml function listNth : 'a list * int -> 'a option that takes a pair ([v0,v1,v2,...,vn],i) and returns SOME vi if the list has an i'th element and NONE otherwise. You should use the fold function with an appropriate "folding function" f . Once you have implemented the function, you should get the following behavior at the OCaml prompt:
# listNth (["good";"better";"best"],1);;
- : string option = Some "better"
# listNth ([9;12;4;18],10);;
- : int option = None
Now write an OCaml function listAssoc : 'a * ('a * 'b) list -> 'b option that takes a pair (key,[(k1,d1);...;(kn,dn)]) and returns SOME di if the first (smallest i) occurrence of ki such that ki = key is in the pair (ki,di), and NONE if the key does not appear as the first component of any tuple. Once you have implemented the function, you should get the following behavior at the OCaml prompt:
# let l = [("william",10);("john",4);("mooneer",92);("kin",68);("john",0)];;
val l = ... : string * int list
# listAssoc ("john",l) ;;
- : int option = Some 4
# listAssoc ("genghiz",l);;
- : int option = None
Use the function clone to write a function padZero : int list * int list -> int list * int list which takes two lists: ([x1,...,xn],[y1,...,ym]) and adds zeros in front to make the lists equal. Once you have implemented the function, you should get the following behavior at the OCaml prompt:
# padZero ([9;9],[1;0;0;2]);;
- : int list * int list = ([0;0;9;9],[1;0;0;2])
# padZero ([1;0;0;2],[9;9]);;
- : int list * int list = ([1;0;0;2],[0;0;9;9])
Now write a function removeZero : int list -> int list , that takes a list and removes a prefix of leading zeros. Once you have implemented the function, you should get the following behavior at the OCaml prompt:
# removeZero ([0;0;0;1;0;0;2]);;
- : int list = [1;0;0;2]
# removeZero ([9;9]);;
- : int list = [9;9]
# removeZero ([0;0;0;0]);;
- : int list = 
Suppose we use the list [d1;d2;d3;...;dn], where each di is in the range [0..9], to represent the (positive) integer d1d2d3...dn. For example, the list [9;9;9;9;9;9;9;9;9;9] represents the integer 9999999999. Fill out the implementation for bigAdd : int list * int list -> int list , so that it takes a pair of integer lists, where each integer is in the range [0..9] and returns the list corresponding to the addition of the two big integers. Again, you have to fill in the implementation to supply the appropriate values to f, b, args . Once you have implemented the function, you should get the following behavior at the OCaml prompt:
# bigAdd ([9;9],[1;0;0;2]);;
- : int list = ([1;1;0;1])
# bigAdd ([9;9;9;9],[9;9;9]);;
- : int list = ([1;0;9;9;8])
Next you will write functions to multiply two big integers. First write a function mulByDigit : int list * int -> int list which takes a tuple of a big integer and an (integer) digit, and returns the big integer list which is the result of multiplying the big integer with the digit. Once you have implemented the function, you should get the following behavior at the OCaml prompt:
Now, using the function mulByDigit, fill in the implementation of bigMul : int list * int list -> int list * int list . Again, you have to fill in implementations for f , base , args only. Once you are done, you should get the following behaviour at the prompt:
# mulByDigit ([9;9;9;9],9);;
- : int list = [8;9;9;9;1]
# bigMul ([9;9;9;9],[9;9;9;9]);;
- : int list = [9;9;9;8;0;0;0;1]
# bigMul ([9;9;9;9;9],[9;9;9;9;9]);;
- : int list = [9;9;9;9;8;0;0;0;0;1]