SML help next week

I'll be away from tomorrow for a week (returning March 18), but if you need some help on SML programming issues and technique, you can contact George Kuan (gkuan at cs.uchicago.edu) to make an appointment. His office is Hinds B030 (basement of Hinds).

Code template for Homework 6, 2 and 3

I've added a link to a partial solution for Problems 2 and 3 of Homework 6 (the revision of the lexer and parser for Ex 5.7.2. This may help anyone who is still struggling with those problems.

Final project instructions

The final course programming project is due Friday, March 16 (any time up to midnight), and should be submitted via email as a tarball. If you don't know how to make a tarball or have technical problems producing a tarball let me know. The fallback is to
email me the separate files.

The project should include

1. A document describing the problem addressed and including a high-level description of the implementation, plus instructions for running the program. This document could be based on your answer for problem 4 of homework 7.

2. The source code for the program.
The code should be modularized -- i.e. all the code should be contained in modules with appropriate signatures defined. Individual modules should be in separate source files, and there should be a CM description file (a .cm file) that allows CM.make to compile and build the program. See the wff.tgz and mandc.tgz example code for samples. The source code should be thoroughly commented.

3. A set of test cases or test scripts for exercising the program, as appropriate.

Good luck, and happy hacking!

Midterm 2 Solutions

I've added a link to the solutions for Midterm 2 to the class web page.

Unfortunately, there was a small error in the type supplied for the
the readFoldl function in Problem 6, for which I apologize. However,
when one attempts to define the function, the need to supply an
extra "source" argument should become apparent.

Homework 5 solutions

I've added a link to the solutions for Homework 5 to the web page, including a link to the source file streams.sml containing the code for the stream problems.

Homework 7

I've posted Homework 7 (the final homework assignment) on the web page. This is due next Tuesday, March 6. Part of the homework requires a preliminary description of your final homework project. I still haven't received any project proposals from anyone at this point, so I'm hoping this will focus your attention on the task. Remember the project must be turned in by Friday March 16 at the latest (preferably by emailing me a tarball of code and documentation).

No late homeworks will be excepted after next Thursday, March 8.

Course project proposals

Please email me as soon as possible a description of what you are planning for your final course project program (Due Friday, March 16, except for those graduating this quarter). Your description could be as detailed as you like, but it should be at least a paragraph or two, with a high-level description of the problem that the program addresses, and perhaps a sketch of how the solution is going to work.

Homework 6

I've added a link to Homework 6 on the class web page. The main part of the homework involves modifying the lexer and parser given in ex5_7_2b.sml.

Have fun!

Midterm reminder, homework solutions

Remember that the second one-hour, in class midterm exam will be given next Tuesday, Feb 27, at the beginning of class. This will be an open book, open notes exam. It will cover mainly material since the first exam, but also some critical topics from earlier (typechecking!).

I've updated the class web page with the code for the lexer and parser for Exercise 5.7.2 (Homework 3), and the code for the tic-tac-toe program (Homework 4). I'll post Homework 6 (due Feb 27) tomorrow.

Don't forget to email me a note on your proposed final programming project (Due Friday, March 16).

Homework assignment 4

I've put up homework assignment 4 on the class web page. This one is a complete change of pace, being a small programming project to write a tic-tac-toe playing program. Feel free to ask questions, solicit hints, etc. in the comments to this post.

Midterm exam reminder

We will have an in-class, one hour midterm exam tomorrow, Feb 6. There will be a second in-class midterm on Feb 27. The final programming project will be due on Friday, March 16, the last day of finals week.

The final class will be Tuesday, March 6.

Homework 3 posted

I've posted homework assignment 3 on the class web page. This contains exercises from Chapter 5 and is due next Tuesday (2/6/07). I've also added a link to the bool.sml example developed in class last Tuesday, and a link at the bottom the PDF file for Chet Murthy's slides for his invited talk "Advanced Programming Languages in the Enterprise Datacenter" at POPL 07 in January.

Make-up class

I propose having a make-up class on Friday, Februay 2 (Ground Hog Day) to replace the class missed on January 16 while I was away. Could you let me know if there are any problems or conflicts with this date?

Homework 2 Assignment posted

I've posted the second homework on the class web page. The direct URL is here.

Homework 1

CSPP 51091

Homework 1
Due 1/23/07

The following exercises cover 2 weeks. The answers should
usually be quite short, for the most part.

Chapter 2 (all nonstared exercises)

Section 2.1.7 (Page 19-20)
2.1.1 b,d,f,h
2.1.2 b,d,f,h
2.1.3 b

Section 2.2.5 (Page 26)
2.2.1 b,c,f,h,i
2.2.2 b,d,f,g

Section 2.3.5 (Page 33)
2.3.1 b,d,f,h
2.3.2

Section 2.4.7 (Page 42)
2.4.1 b,d,f,h
2.4.2 b,d,f,h
2.4.3 b,d
2.4.4
2.4.5 b,d,f
2.4.6


Chapter 3

Section 3.1.6 (Page 52)
3.1.1 b,d,f
3.1.2 b,c,d
3.1.3 c,d,f

Section 3.25
3.2.1 b,d,e
3.2.2
3.2.3 b,d,e,g
3.2.4