A fully functional, side-effect-limiting programming language implemented in C.