A functional language