CS 451 Programming Paradigms
Week Five
Lecture 9 : Tuesday, 2/15/00
- Introduced ML Chapter One of Elements of ML Programming
- Functional language
- Freedom from side-effects
- Higher-order functions and polymorphism
- Programming by recursion and pattern-matching
- Strong type system
- Went over the basis types and web references
Lecture 10 : Thursday, 2/17/00
- Chapter Two of Elements of ML Programming
- ML expressions and base data types
- Booleans and conditional expressions
- More about type inferencing
- Variables and environments
- Lists and tuples
- Chapter Three of Elements of ML Programming
- Functions, environment bindings
- Recursive functions
[ Back to CS451: Lecture Summaries ]