Functional Programming in ML

Abstract

ML is a functional language like Scheme Very different from Scheme in syntax and use Can be pure – no assignment ML stands for Meta Language Originally developed for theorem proving (1978, revised 1997) Very popular in Europe ML characteristics Static type checking – types are very important Strong type checking – program is "safe" if interpreter accepts "variables" must be declared Syntax more like C than Scheme Fall 2012 CIS 425-ML 2