FXI is a miniature language which supports first-class functions and automatic type inference.
A functional programming language