Simple pure functional language.