Lecture 4: Functional Programming Languages (SML)