Lazy functional programming language and environment with support for metaprogramming.  Click the link below for more details.