An implementation of an eager statically typed functional language with a compiler and an abstract machine.
The language has the following constructs:
Integers with arithmetic operations
*. (There is no division because the language has no exceptions.)
Booleans with conditional statement and comparison of integers
Recursive functions and function application. The expression
fun f (x : t) : s is e
denotes a function of type
t -> swhich maps
ethe function refers to itself as
let x = e
There are no local definitions.
Example interaction, see also the file
MiniML. Press Ctrl-D to exit. MiniML> 3 + (if 5 < 6 then 10 else 100) ;; - : int = 13 MiniML> let x = 14 ;; x : int = 14 MiniML> let fact = fun f (n : int) : int is if n = 0 then 1 else n * f (n-1) ;; fact : int -> int = <fun> MiniML> fact 10 ;; - : int = 3628800 MiniML> Good bye.