For an operating systems class, you've been asked to implement a simple filesystem. The HTDP text provides three models for filesystems. Use Model 3, the one at the bottom of the page, for these exercises.
If you want to test your filesystems programs on a real filesystem (your own, for example), use the dir.ss library described in HTDP, exercise 16.3.1.
In these exercises, a "filesystem" is a directory (the root directory). Functions over "filesystems" should therefore follow the template for dir (where dir is as defined in the HtDP model).
You should use map and filter whenever appropriate in your solution. This means that if a function matches the structure of map or filter, you should write it using map/filter. You do not need to re-arrange solutions to use map/filter (even if they have one solution that uses them and one that does not). If you are still shaky with map/filter, write the solutions without map/filter first, then look for places where you could rewrite your solutions with them (you'll get more points for a solution that matches the template but misses map/filter calls than for solutions that don't correctly solve the problem.) Map/filter solutions still follow the templates!
Write three examples of data created with the filesystem data definition.
Write the template for programs over filesystems.
Write a program count-large-files that consumes a filesystem and a number (a file size) and returns the number of files in the filesystem that are larger than the given size.
Write a program file-satisfying? that consumes a filesystem and a function from file to boolean and returns a boolean indicating whether the given function returns true for at least one file in the filesystem. You may find it easier to first write this function with a specific criterion (such as a file with a minimum size) instead of the function parameter, then generalize it.
Use file-satisfying? to write a function
file-containing?? that consumes a filesystem and a value and
returns a boolean indicating whether any file has the given value as
its contents. You can compare arbitrary Scheme values for equality
using the primitive eq?.
Write a program clean-directory that consumes a filesystem and an existing directory name, and returns a filesystem. In the returned filesystem, any files of size 0 in the named directory should have been removed. All other files and directories should be the same between the input and returned filesystems.
Assume that the given directory name is only in the system once.
Write a program find-file-path that consumes a filesystem and a filename and returns either the path (a list of directory names, in order from root to the one containing the file) to that filename or false if the filename is not in the filesystem.
Assume that the given file name is only in the system once.
Turn in a single file hwk3.ss (or hwk3.scm) containing all code and documentation for this assignment. Make sure that both students' names are in a comment at the top of the file.
Refer to the Laws of Homework when preparing your solutions.
Follow the templates! (I can't say this strongly enough for this assignment--you can get into quite a mess if you don't use the templates here)