Haskell CS 421 LogoCS 421 — Programming Languages



You probably picked up by now that Haskell programmers don’t like state very much. State is over-used in programming, but sometimes it is the right tool for the job. We will talk about how state breaks mathematical reasoning, and a curious effect when state is embedded into a closure.

We will use a language called OCaml for this lecture. It is similar to Haskell but it has explicit state operations.