A popular functional language from Bell Labs