General Computer Science 320201 GenCS I & II Lecture ... - Kwarc

µML, a very simple Functional Programming Language
Plan: Only consider the bare-bones core of a language (we only interested in principles)
We will call this language µML (micro ML)
no types: all values have type int, use 0 for false all other numbers for true.
Definition 472 microML µML is a simple functional programming languages with
functional variables (declare and bind with val 〈〈name〉〉 = 〈〈exp〉〉)
named functions (declare with fun 〈〈name〉〉 (〈〈args〉〉) = 〈〈exp〉〉)
arithmetic/logic/control expressions with variables/functions referenced by name
(no statements)
c○: Michael Kohlhase 306
To make the concepts involved concrete, we look at a concrete example: the procedure on the
next slide computes 10 2 ..
Example: A µML Program for 10 Squared
Example 473 (Computing Twelve Factorial)
let (* begin declarations *)
fun exp (x,n) = (* function declaration *)
if n