Lecture 4

When it comes to programming problems in the real world, we must put a lot emphasis on the question how problems are represented, and not if they can. Good representation often lead to good, short, understandable, maintainable, and even verifiable code.

Therefore it is often necessary to define one owns datatypes. Its values, and the operation defined on them, which will be the topic of this lecture.

Code: poker.sml.

Reading: Programming Standard ML. Chapter 6: Case Analysis.