Lecture 13

The next question we would like to address is how we can simulate circuits of this form in ML. How can we represent signals that change over time? Lists are not expressive enough, we must therefore invent something else. This something else is so common in computer science, that it has a name: streams.

Streams behave like lists, except that their tails are functions, in order to prevent the tail of a list from evaluating. This way, we can build up infinite lists, that are directly useable to model signals.

Reading: Programming Standard ML. Chapter 15: Lazy Data Structures.