Haskell is a purely-functional, lazy, statically-typed, garbage-collected, compiled programming language that pushes the frontiers of programming language design. Get started with it here!